Rusins Freivalds Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings FCT Lecture Notes in Computer Science 2138 Springer 2001 3-540-42487-3 db/conf/fct/fct2001.html