The varieties of programming language (1989)

by C A R Hoare
Venue:In Proc TAPSOFT, volume 351 of LNCS