Peter Padawitz. Correctness, completeness, and consistency of equational data type specifications. PhD thesis, Technical University of Berlin, Germany, 1983. [doi]
No references recorded for this publication.
No citations of this publication recorded.