Book

Relational Methods in Computer Science

by Chris Brink, Wolfram Kahl, Günther Schmidt