The use of dynamic assertions to improve software quality - Stucki, Leon George (1976)