Writing Larch interface language specifications (1987)

by J M Wing
Venue:ACM Trans. Program. Lang. Syst