Yoonsik Cheon Gary T. Leavens The Larch/Smalltalk Interface Specification Language. 221-253 1994 3 ACM Trans. Softw. Eng. Methodol. 3 db/journals/tosem/tosem3.html#CheonL94 http://doi.acm.org/10.1145/196092.195325