and Raymie Stata. Virginity: A contribution to the speci cation of object-oriented software (1997)

by K Rustan M Leino