María Victoria Cengarle Martin Wirsing A Calculus of Higher-Order Parameterization for Algebraic Specifications. 615-641 1995 3 Logic Journal of the IGPL 4 http://dx.doi.org/10.1093/jigpal/3.4.615 db/journals/igpl/igpl3.html#CengarleW95