Detecting Software Errors Before Execution (1980)

by P R Eggert