The 'Completeness' of the Pascal Test Suite. - Zbigniew Ciechanowicz; A. C. De Weever (Softw. Pract. Exp., 1984)