The softest program test system. - Maria Majoros; Harry M. Sneed (J. Syst. Softw., 1981)

SOFTEST: A System for the Automatic Verification of PL/1, COBOL and Assembler Programs. - Maria Majoros (Software-Qualitätssicherung, 1982)