Relational methods in computer science - Brink, C. (Chris); Kahl, Wolgram; Schmidt, Gunther 1939- (Advances in computing science, 1997)