A proof outline logic for object-oriented programming - PIERIK, Cees; DE BOER, Frank S (Formal Methods for Components and Objects, 2005)
text