Relational Methods in computer science: advances in computing science - Brink, C. (Springer Wien, 1997)
Includes bibliographical references & index.