Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems. - Andy Kellens; Kris De Schutter; Theo D'Hondt; Luc Jorissen; Bart Van Passel (CSMR, 2009)

Verifying the design of an outsourced COBOL system with IntensiVE. - Andy Kellens; Carlos Noguera; Theo D'Hondt; Luc Jorissen; Bart Van Passel (ICSM, 2010)