Joseph A. Goguen
-
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae