"Polymorphism, Parameterization and Typing: An Algebraic Specification ..."

Jacek Leszczylowski, Martin Wirsing (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics