Baumeister, Hubert Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxCO4 (出版社版)
Baumeister, H. (1995). Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. In P. D., Mosses, M., Nielsen, & M. I., Schwartzbach (Eds.), TAPSOFT '95: Theory and Practice of Software Development (pp. 756-771). Berlin, Germany: Springer.