Gary T. Leavens Albert L. Baker Clyde Ruby Preliminary design of JML: a behavioral interface specification language for java. 1-38 2006 31 ACM SIGSOFT Software Engineering Notes 3 http://doi.acm.org/10.1145/1127878.1127884 db/journals/sigsoft/sigsoft31.html#LeavensBR06