Verifying the absence of common runtime errors in computer programs - German, Steven M. (1981)
Mikroreprod. e. Ms. Getr. Zählung. - Zugl.: Stanford, Calif., Univ., Diss.