Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

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