A polymorphic sort system for axiomatic specification languages - Nazareth, Dieter (1995)