Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg. Writing Simulatable Specifications in SPECIAL. In Helmut K. Berg, Wolfgang K. Giloi, editors, The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Volume 36 of Informatik-Fachberichte, pages 39-78, Springer, 1979.
Abstract is missing.