Jayashree Ramanathan, Meera Blattner. Program forms and program form analysers for high-level structured design. In 1979 International Workshop on Managing Requirements Knowledge, MARK 1979, New York, NY, USA, June 4-7, 1979. pages 1013-1020, IEEE, 1979. [doi]
Abstract is missing.