Idealized Algol and its specification logic (1982)

by J C Reynolds
Venue:Tools and Notions for Program Construction