Semantical analysis of specification logic (1990)

by R D Tennent
Venue:Inf. Comput