Correctness, completeness, and consistency of equational data type specifications - Padawitz, Peter (1983)
Berlin, Techn. Univ., Diss.