An Axiomatization of D-scheme Strong Equivalence. - Douglas R. Troeger (J. Comput. Syst. Sci., 1983)

Weak Equivalence in a Class of Structured Program Schemes. - Douglas R. Troeger (J. Comput. Syst. Sci., 1984)

A Logical Characterization of Observation Equivalence. - Stephen L. Bloom; Douglas R. Troeger (Theor. Comput. Sci., 1985)

Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. - Douglas R. Troeger (Math. Struct. Comput. Sci., 1993)

Tutorial-formal methods in the first course (abstract). - Douglas R. Troeger (SIGCSE, 1994)

Formal methods in the undergraduate computer science curriculum (abstract). - Henry MacKay Walker; H. Conrad Cunningham; Ruth Davis; Douglas R. Troeger (SIGCSE, 1995)

The MT Architecture and Allocation Algorithm. - Marco T. Morazán; Douglas R. Troeger (Scottish Functional Programming Workshop, 1999)

Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (JIISIC, 2001)

Paging in a Distributed Virtual Memory. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (Scottish Functional Programming Workshop, 2001)

The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (CLEI Electron. J., 2002)

List-Heap Paging in a Distributed Virtual Memory System for Functional Languages. - Marco T. Morazán; Douglas R. Troeger (PDPTA, 2003)