Relations and Graphs

Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programming languagedesign. Itexplains how to use relational and graph-theoretic methodssystematically in computer science.