A polymorphic sort system for axiomatic specification languages - Nazareth, Dieter (Techn. Univ. München, Mathematisches Inst. und Inst. für Informatik, 1995)