C. Brink

Relational methods in computer science