Copyright c
2013, Australian Computer Society, Inc. This paper appeared
at the 19th Computing: Australasian Theory Symposium (CATS
2013), Adelaide, South Australia, January-February 2013. Conferences
in Research and Practice in Information Technology (CRPIT), Vol. 141,
TonyWirth, Ed. Reproduction for academic, not-for-profit purposes permitted
provided this text is included