The implementation of run-time diagnostics in Pascal (1980)

by C N FISCHER, R J LEBLANC
Venue:IEEE Trans. Software Eng. SE-6