Computer experiments in finite algebra. - Ward Douglas Maurer (Commun. ACM, 1966)

A Theory of Computer Instructions. - Ward Douglas Maurer (J. ACM, 1966)

Realizing Complex Boolean Functions with Simple Groups - Kenneth Krohn; W. Douglas Maurer; John Rhodes 001 (Inf. Control., 1966)

Letters to the editor: Comments on "An Improved Hash Code for Scatter Storage". - J. D. Beyer; Ward Douglas Maurer; Frank K. Bamberger (Commun. ACM, 1968)

An Improved Hash Code for Scatter Storage. - W. Douglas Maurer (Commun. ACM, 1968)

The compiled macro assembler. - Ward Douglas Maurer (AFIPS Spring Joint Computing Conference, 1969)

Compilation of a subset of SNOBOL4. - Paul J. Santos; Ward Douglas Maurer (ACM SIGPLAN Notices, 1970)

Ph. D prelim exams in computer systems. - Ward Douglas Maurer (ACM SIGCSE Bull., 1971)

On the Definition of the Variables Used and Set by a Computation. - W. Douglas Maurer (Math. Syst. Theory, 1972)

Induction Principles for Context-Free Languages. - Ward Douglas Maurer (GI Jahrestagung, 1973)

The validity of return address schemes. - W. Douglas Maurer (Inf. Sci., 1973)

Some correctness principles for machine language programs and microprograms. - W. Douglas Maurer (MICRO, 1974)

Hash Table Methods. - W. Douglas Maurer; Ted G. Lewis (ACM Comput. Surv., 1975)

Proving the correctness of a flight-director program for an airborne minicomputer. - W. Douglas Maurer (SIGMINI, 1976)

The modification index method of generating verification conditions. - Ward Douglas Maurer (ACM-SE, 1977)

The teaching of program correctness. - W. Douglas Maurer (SIGCSE-1, 1977)

A very small information retrieval system. - Ward Douglas Maurer (ACM Annual Conference (2), 1978)

Register type bits: a proposal for efficient instruction repertoire extension. - W. Douglas Maurer (ACM SIGPLAN Notices, 1978)

Another letter on the correctness of real programs. - W. Douglas Maurer (ACM SIGSOFT Softw. Eng. Notes, 1978)

Multiple micros for education. - Ward Douglas Maurer (SIGCSE, 1980)

An alternate characterization of preorder, inorder, and postorder. - W. Douglas Maurer (ACM SIGPLAN Notices, 1981)

An Improved Hash Code for Scatter Storage (Reprint). - W. Douglas Maurer (Commun. ACM, 1983)

The parable of the two programmers, continued. - W. Douglas Maurer; Tim E. Barrios (ACM SIGSOFT Softw. Eng. Notes, 1985)

Relative Precision in the Inductive Assertion Method. - Ward Douglas Maurer (WNAA, 1996)

Attitudes toward the go-to statement (or, hydrogen considered harmful). - Ward Douglas Maurer (Comput. Educ., 1996)

The first course: C is not Pascal. - W. Douglas Maurer (J. Comput. Sci. Coll., 2000)

Enjoying C++: user allocation structures. - W. Douglas Maurer (J. Comput. Sci. Coll., 2001)

Integrating SIMD into the undergraduate curriculum. - W. Douglas Maurer (J. Comput. Sci. Coll., 2001)

The comparative programming languages course: a new chain of development. - Ward Douglas Maurer (SIGCSE, 2002)

The algorithms course: teaching recent advances in the state of the art. - W. Douglas Maurer (J. Comput. Sci. Coll., 2002)

A capstone unit for a data structures class. - W. Douglas Maurer (J. Comput. Sci. Coll., 2002)

A sample database used in a palm OS programming course. - W. Douglas Maurer (J. Comput. Sci. Coll., 2003)

An application with variations as used in teaching a Palm programming course. - W. Douglas Maurer (J. Comput. Sci. Coll., 2003)

Assembly language implications of single and multiple inheritance. - W. Douglas Maurer (J. Comput. Sci. Coll., 2003)

Why matrix manipulation should be done in C++. - W. Douglas Maurer (J. Comput. Sci. Coll., 2004)

Redesigning the data structures course with user-constructed resizable arrays. - W. Douglas Maurer (J. Comput. Sci. Coll., 2005)

The effect of the Harvard architecture on the teaching of assembly language. - Ward Douglas Maurer (J. Comput. Sci. Coll., 2005)

Using Mathematics to Improve Ada Compiled Code. - Ward Douglas Maurer (Ada-Europe, 2006)

The Rearranger - A New Assembler Utility. - Ward Douglas Maurer (ASE, 2006)

An alternative to group theory in the discrete structures course. - Ward Douglas Maurer (J. Comput. Sci. Coll., 2006)

Using mathematics to improve ada compiled code, part 2: the proof. - Ward Douglas Maurer (SIGAda, 2007)

Generalized structured programs and loop trees. - Ward Douglas Maurer (Sci. Comput. Program., 2007)

Removing backward go-to statements from Ada programs: possibilities and problems. - Ward Douglas Maurer (SIGAda, 2008)

A survey of state vectors. - Ward Douglas Maurer (Comput. Sci. Rev., 2008)

Loop trees: a new theme in structured programming and discrete structures. - Ward Douglas Maurer (J. Comput. Sci. Coll., 2008)

Partially defined computer instructions and guards. - Ward Douglas Maurer (Sci. Comput. Program., 2008)

Simple section interchange and properties of non-computable functions. - Ward Douglas Maurer (Sci. Comput. Program., 2010)

A Programming Language without Keywords. - Ward Douglas Maurer (Comput. Inf. Sci., 2013)