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)
G. Hodgson, and T. Knudsen. Working Paper, WP 06-01. ETSS, The Business School, University of Hertfordshire, De Havilland Campus, Hatfield, Hertfordshire AL10 9AB, UK, Malting House, 1 Burton End, West Wickham, Cambridgeshire CB1 6SD, UK g.m.hodgson@herts.ac.uk, (July 2006)