Nazareth, D. (1995). A polymorphic sort system for axiomatic specification languages. Techn. Univ. München, Mathematisches Inst. und Inst. für Informatik.
Chicago Style (17th ed.) CitationNazareth, Dieter. A Polymorphic Sort System for Axiomatic Specification Languages. München: Techn. Univ. München, Mathematisches Inst. und Inst. für Informatik, 1995.
MLA (9th ed.) CitationNazareth, Dieter. A Polymorphic Sort System for Axiomatic Specification Languages. Techn. Univ. München, Mathematisches Inst. und Inst. für Informatik, 1995.
Warning: These citations may not always be 100% accurate.