Relations as abstract datatypes: An institution to specify relations between algebras (1995)

by H Baumeister
Venue:TAPSOFT'95: Theory and Practice of Software Development, number 915 in Lecture Notes in Computer Science