North-Holland
Science of Computer Programming
Software Analysis and Transformation

van Deursen, A., & Moonen, L. (2001). An empirical study into COBOL type inferencing. Science of Computer Programming, 40(2-3), 189–211.