Andrzej Lingas Bengt J. Nilsson Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings FCT Lecture Notes in Computer Science 2751 Springer 2003 3-540-40543-7 db/conf/fct/fct2003.html