Writing Larch Interface Language Specifications (1987)

by Jeannette M. Wing
Venue:ACM Transactions on Programming Languages and Systems