Lecture notes in computer science (Berlin : Springer Berlin / Heidelberg, 2002)