Composing Object-Oriented Specifications and Verifications with cTLA (1999)

by Günter Graw, Peter Herrmann, Heiko Krumm
Venue:in Workshop on Semantics of Objects as Processes (SOAP'99), BRICS Notes Series NS-99-2