Lecture notes in computer science: 0302-9743