Extending Binary Byzantine Agreement to Multivalued Byzantine Agreement. - Russell Turpin; Brian A. Coan (Inf. Process. Lett., 1984)

Programming Data Structures in Logic. - Russell Turpin (1992)

A Logical Approach to Data Structures. - Russell Turpin (SIGSOFT FSE, 1993)

A Progressive Software Development Lifecycle. - Russell Turpin (ICECCS, 1996)