Lecture notes in computer science: issn 0302-9743