Hidden coinduction: behavioral correctness proofs for objects (1999)

by Joseph A Goguen, Grant Malcolm
Venue:Mathematical Structures in Computer Science