WXGC6102: Object-Oriented Techniques Specifying Control References: Chapter 10 of Bennett, McRobb and Farmer: Object Oriented Systems Analysis and Design.