Joachim Gudmundsson, C. Barry Jay: Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings. CRPIT 65, Australian Computer Society 2007, ISBN 1-920-68246-5