Jim Welsh;John Elder
Univ. of Queensland, Australia;Queen's Univ. of Belfast, Norhtern Ireland
Modular specification and verification of object-oriented programs