Axiomatic Semantics for ADTs
Axioms for ADT Semantics (PPT)
Guttag ADT paper, 1977
Guttag ADT paper, 1978
Axiomatic ADT notes
Testing ADT axioms in ML