SOFSPEC: A pragmatic approach to automated specification verification. - Erika Nyari (Software-Qualitätssicherung, 1982)

SOFSPEC: A pragmatic approach to automated specification verification. - Erika Nyari; Harry M. Sneed (J. Syst. Softw., 1983)