Julián Mestre: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012. CRPIT 128, Australian Computer Society 2012, ISBN 978-1-921770-09-8