Set-Theoretic Concepts in Programming Languages and their Implementation - Schneider, Hans Jürgen (Graphtheoretic Concepts in Computer Science - Proceedings of the International Workshop WG 80, 1981)