Microcomputer access to cross software systems. - Bernard J. Carey; Anne-Marie G. Discepolo (SIGSMALL, 1980)

Towards a practical specification language. - Anne-Marie G. Discepolo (ACM Annual Conference, 1981)

A practical verification system. - James G. Keeton-Williams; Anne-Marie G. Discepolo (ACM SIGSOFT Softw. Eng. Notes, 1981)