177	  Hughes, John R.D and Jones, Cliff B  (2008) Reasoning about programes via operational semantics: Requirement for a support system.   In:  Automated Software Engineering.   Springer.