Anthony J. Cowling. Translating Diagrams: A New Approach to Introducing Formal Methods. In 18th Conference on Software Engineering Education and Training (CSEE&T 2005), 18-20 April 2005, Ottawa, Canada. pages 121-128, IEEE Computer Society, 2005. [doi]
Abstract is missing.