Relational and Algebraic Methods in Computer Science: 12th ...
Preview
264 Annabelle McIver, Tahiry M. Rabehaja, and Georg Struth Ampersand: Applying Relation Algebra in Practice................... 280 Gerard Michels, Sebastiaan Joosten, Jaap van der Woude, and Stef Joosten Programming from Galois ...