JML: A notation for detailed design. In: (1999)

by G T Leavens, A L Baker, C Ruby
Venue:Behavioral Specifications of Businesses and Systems,