A mechanism for specifying the structure of large, layered systems (1987)

by H L Ossher
Venue:Research Directions in Object-Oriented Programming