D. Prusa, and F. Mráz. Research Report CTU--CMP--2012--08, Center for Machine Perception, K13133 FEE Czech Technical University, Prague, Czech Republic (March 2012), (2012)
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)