A weakest precondition semantics for an object-oriented language of refinement (1999)

by A Cavalcanti, D Naumann
Venue:Lecture Notes in Computer Science