Lecture notes in computer science.