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