A Connotational Theory of Program Structure (1987)

by Roy87 J S Royer
Venue:of Lecture Notes in Computer Science