AO-5 University of Western Sydney (UWS), Learning Guide - Formal Software Engineering (300404) - Spring 2014. Western Sydney University, accessed 19/08/2026, https://collections.westernsydney.edu.au/nodes/view/20750