Lecture notes in computer science (Springer, 1973)