(1980). Run-time diagnostics in programming languages with data-structuring facilities