A connotational theory of program structure (1987)

by J Royer
Venue:Lecture Notes in Computer Science