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

by Charles N Fischer, Richard J LeBlanc
Venue:IEEE Transactions on Software Engineering