A Proof-Checker for Dynamic Logic. - Steven D. Litvintchouk; Vaughan R. Pratt (IJCAI, 1977)

Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. - Steven D. Litvintchouk; Allen S. Matsumoto (IEEE Trans. Software Eng., 1984)

Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel). - Steven D. Litvintchouk; Michael Stark 002; Brad Balfour; Mohamed Fayad; Bernie Rosenfeld (OOPSLA, 1993)

Evolving toward object-oriented technology in large organizations (panel). - Steven D. Litvintchouk; Michael Stark 002; Brad Balfour; Mohamed Fayad; Bernard Rosenfeld (OOPSLA Addendum, 1993)

A Methodology for Migration of Legacy Applications to Distributed Object Management. - E. R. Hughes; R. S. Hyland; Steven D. Litvintchouk; A. S. Rosenthal; A. L. Schafer; S. L. Surer (EDOC, 1997)