The use of dynamic assertions to improve software quality - Stucki, Leon George (Los Angeles, Calif., Univ. of California, Diss., 1976, 1976)
Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.