, "Run-time diagnostics in programming languages with data-structuring facilities", , 1980