James C. Pleasant. Systematic program development/proof using Dromey's method: some comparisons with top-down design. In C. Jinshong Hwang, Richard S. Brice, editors, Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991. pages 169-173, ACM, 1991. [doi]
Abstract is missing.