Howard P. Haughton, Kevin Lano. Testing and Safety Analysis of AM (Abstract Machine) Specifications. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 69-79, Springer, 1994. [doi]
Abstract is missing.