Lecture notes in computer science [Annual subscription] (Switzerland Springer Nature, 1973)