Lecture notes in computer science 23-34 (2002) [pdf]