Lecture Notes in Computer Science (Berlin : Springer Verlag, 1974)