considered as a programming language (1977)

by LCF
Venue:Theoretical Comput. Sci