The congruence of two programming language definitions (1981)

by J Stoy
Venue:Theor. Comput. Sci