Heinrich Hußmann. Nichtdeterministische algebraische Spezifikationen. PhD thesis, University of Passau, Germany, 1989. [doi]
@phdthesis{dnb-9950, title = {Nichtdeterministische algebraische Spezifikationen}, author = {Heinrich Hußmann}, year = {1989}, url = {http://d-nb.info/891603115}, researchr = {https://researchr.org/publication/dnb-9950}, cites = {0}, citedby = {0}, school = {University of Passau, Germany}, }