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

by Gary T Leavens
Venue:Specification of Behavioral Semantics in ObjectOriented Information Modeling, chapter 8