Jacek Leszczylowski Martin Wirsing Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. 1-15 1991 conf/stacs/1991 STACS db/conf/stacs/stacs91.html#LeszczylowskiW91 http://dx.doi.org/10.1007/BFb0020783