Leo Freitas Jim Woodcock Yichi Zhang Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. 197-218 2009 74 Sci. Comput. Program. 4 http://dx.doi.org/10.1016/j.scico.2008.09.012 db/journals/scp/scp74.html#FreitasWZ09