An overview of Larch/C++: Behavioral specifications for C++ modules (1996)

by Gary Leavens
Venue:In Specification of Behavioral Semantics in Object-Oriented Information Modeling