d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul. 1996. 'A formal framework for specifying design methods'. In: System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,. Hawaii. [Conference or Workshop Item]