D. Prusa, и 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, и C. Hewitt. Proceedings of the 8th Annual Symposium on Switching and Automata Theory (SWAT 1967), стр. 155--160. Washington, DC, USA, IEEE Computer Society, (1967)