Pagan, F.G. "Formal Specification of Programming Languages: A Panoramic Primer", P-H 1981.

(1981)

Languages mentioned