Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. - Valery A. Nepomniaschy; A. A. Sulimov (DISCO, 1993)

Problem-Oriented Verification System and its Application to Linear Algebra Programs. - Valery A. Nepomniaschy; A. A. Sulimov (Theor. Comput. Sci., 1993)