JML: A notation for detailed design (1999)

by G T Leavens, A L Baker, C Ruby
Venue:Behavioral Speci¯cations for Businesses and Systems, Chapter 12