Abstraction and Refinement in RDM

Donald L. Boyd, Antonio Pizzarello, William T. Wood. Abstraction and Refinement in RDM. 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 111-149, Springer, 1979.

Abstract

Abstract is missing.