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