Vittal Kini, David F. Martin, Allen Stoughton. Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. In Gerald A. Fisher, editor, Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, USA, October 6-8, 1982. pages 120-128, ACM, 1982. [doi]
Abstract is missing.