Richard C. Linger, Harlan D. Mills. A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 10-17, IEEE, 1988. [doi]
Abstract is missing.