Joseph A. Goguen;Grant Malcolm
-;-
Hidden Congruent Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science