Feng, Y. L. et al, LogC User's Manual, Tech. Report, USTC-CS-90, 1990

(1990)

Languages mentioned