L. J. Steggles Parameterised Higher-Order Algebraic Specifications. 76-98 1997 conf/alp/1997 ALP/HOA db/conf/alp/alp97.html#Steggles97 http://dx.doi.org/10.1007/BFb0027004