Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems | IEEE Conference Publication | IEEE Xplore