Programming logics: An introduction to verification and semantics

Wim H. Hesselink
1990 Science of Computer Programming  
doi:10.1016/0167-6423(90)90074-n fatcat:xti4uef36vgjdk4elsyujmle4m