SOFSEM 2000: Theory and Practice of Informatics : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings - Václav Hlavá., Keith G. Jeffery, Ji.í Wiedermann ((Lecture Notes in Computer Science))