A polymorphic sort system for axiomatic specification languages - Nazareth, Dieter (1995)
Keywords: Suchverfahren; Polymorphismus; Spezifikationssprache; Hochschulschrift