Lecture notes in computer science (10016)