Arie van Deursen Leon Moonen An empirical study into COBOL type inferencing. 189-211 2001 40 Sci. Comput. Program. 2-3 db/journals/scp/scp40.html#DeursenM01