Baumeister, Hubert Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtilJ (出版社版)
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.