Most of the papers are available but first linked IEEE paper is paywalled: "A controlled experiment to assess the benefits of procedure argument type checking"

Most of the papers are available but first linked IEEE paper is paywalled: "A controlled experiment to assess the benefits of procedure argument type checking" Prechelt, L.; Tichy, W.F. But it's available here: http://page.mi.fu-berlin.de/prechelt/Biblio/tcheck_tse98.pdf http://page.mi.fu-berlin.de/prechelt/Biblio/tcheck_tse98.pdf