Peter Padawitz. Correctness, completeness, and consistency of equational data type specifications. PhD thesis, Technical University of Berlin, Germany, 1983. [doi]
@phdthesis{dnb-7070,
title = {Correctness, completeness, and consistency of equational data type specifications},
author = {Peter Padawitz},
year = {1983},
url = {http://d-nb.info/831119276},
researchr = {https://researchr.org/publication/dnb-7070},
cites = {0},
citedby = {0},
school = {Technical University of Berlin, Germany},
}