From Monolithic to Modular Formal Specification

Gordon A. Rose. From Monolithic to Modular Formal Specification. In ICFEM. pages 122, 1998. [doi]