AO-7 University of Western Sydney, Nepean (UWSN), Unit Outline - Introduction to Formal Methods (14920) - Autumn 1999. Western Sydney University, accessed 15/01/2026, https://collections.westernsydney.edu.au/nodes/view/134527