Joseph A. Goguen;Grant Malcolm;Tom Kemp
-;-;-
Web-Based Support for Cooperative Software Engineering
Annals of Software Engineering
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science