R.D.: Semantical analysis of specification logic, Part 2 (1993)

by P W O’Hearn, Tennent
Venue:Inf. Comput