H. Ahn, H. Alt, T. Asano, S. Bae, P. Brass, O. Cheong, C. Knauer, H. Na, C. Shin, and A. Wolff. Proc. 13th Conf. Computing: The Australasian Theory
Sympos. (CATS'07), volume 65 of Conferences in Research and Practice in Information
Technology, page 7--14. Australian Computer Society, (2007)