Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77 - Harland