Semantical analysis of specification logic (1990)

by R D Tennent
Venue:Information and Computation