Lecture notes in computer dcience,