Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman. The need for a core method DIALOG - Linking formal proof to the design environment. Journal of Systems Architecture, 32(1-5):667-673, 1991. [doi]
Abstract is missing.