A WP-calculus for OO (1999)

by F S de Boer
Venue:Proc. FoSSaCS’99, Lecture Notes in Computer Science