Lecture Notes in Computer Science - Riijsbergen CJV (Springer Verlag, 1978)