V. Lonati, and M. Pradella. Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009, page 549--560. Berlin, Heidelberg, Springer-Verlag, (2009)
M. Blum, and C. Hewitt. Proceedings of the 8th Annual Symposium on Switching and Automata Theory (SWAT 1967), page 155--160. Washington, DC, USA, IEEE Computer Society, (1967)