The Larch/Smalltalk interface specification language (1994)

by Y Cheon, G Leavens
Venue:ACM Trans. Softw. Eng. Methodol