Andy Kellens Kris De Schutter Theo D'Hondt Luc Jorissen Bart Van Passel Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems. 199-208 2009 CSMR http://dx.doi.org/10.1109/CSMR.2009.9 conf/csmr/2009 db/conf/csmr/csmr2009.html#KellensSDJP09