Baumeister, Hubert Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtilJ (Publisher version)
Baumeister, H. (1991). Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. In S. Abramsky, & T. S. E. Maibaum (Eds.), Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91) (pp. 103-120). Berlin, Germany: Springer.