Hidden coinduction:Behavioral correctness proofs for objects (1999)

by Joseph Goguen, Grant Malcolm
Venue:UCSD Dept. Computer Science & Eng