%0 Book
%A Peter Muller
%T Modular specification and verification of object-oriented programs
%U /book/101384249/Modular-specification-and-verification-of-objecto/