An Overview of Larch/C++: Behavioral Specifications for C++ Modules (1996)

by Gary T Leavens
Venue:Department of Computer Science, Iowa State University, TR