Lecture notes in computer science (Springer, 1973)
Gesehen am 28.02.20