A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.

Richard C. Linger, Harlan D. Mills

Browse the full COMPSAC paper archive.