Regressive functions and combinatorial functions. - Carl E. Bredlau (Notre Dame J. Formal Log., 1967)

Admissible sets and recursive equivalence types. - Carl E. Bredlau (Notre Dame J. Formal Log., 1979)

Addressing the Y2K problem in the computing classroom. - Charles P. Howerton; Mary Ann Robbert; Carl E. Bredlau; Peter J. Knoke (SIGCSE, 1999)

Assembly language through the Java virtual machine. - Carl E. Bredlau; Dorothy Deremer (SIGCSE, 2001)

Writing requirements in computer security. - Stefan A. Robila; Carl E. Bredlau (SIGITE Conference, 2005)

JVMVIEWER: an interactive bytecode interpreter for Java. - Carl E. Bredlau (J. Comput. Sci. Coll., 2008)