Language design methods based on semantic principles (1977)

by R D Tennent
Venue:Acta Informatica