Joseph L. Steffen Adding Run-time Checking to the Portable C Compiler. 305-348 1992 22 Softw., Pract. Exper. 4 db/journals/spe/spe22.html#Steffen92