A case study in cleanroom software engineering: the IBM COBOL Structuring Facility | IEEE Conference Publication | IEEE Xplore