AO-5 University of Western Sydney (UWS), Subject Outline - Introduction to Formal Methods (14908 14970) - Autumn 2001. Western Sydney University, accessed 17/04/2026, https://collections.westernsydney.edu.au/nodes/view/135792