S. Fischer, B. Wünsche, L. Cameron, E. Morunga, U. Parikh, L. Jago, and S. Müller. Proceedings of the Thirty-Fourth Australasian Computer Science Conference - Volume 113, page 53--62. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2011)