Hubert Baumeister Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. 103-120 1991 conf/tapsoft/1991-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft91-1.html#Baumeister91 http://dx.doi.org/10.1007/3-540-53982-4_7