A logic programming environment for teaching mathematical concepts of computer science. - Norman Neff (SIGCSE, 1993)

Exploring Discrete Structures using a Complete Variant of Prolog. - Norman Neff (ICLP Workshop: Logic Programming and Education, 1994)

OO design in compiling an OO language. - Norman Neff (SIGCSE, 1999)

Algorithm design by successive transformation. - Norman Neff (J. Comput. Sci. Coll., 2001)

An object framework for teaching ALU component design in architecture courses. - Norman Neff; G. Sampath (J. Comput. Sci. Coll., 2003)

Attribute based compiler implemented using visitor pattern. - Norman Neff (SIGCSE, 2004)

Problem-directed discrete structures course. - Norman Neff (SIGCSE, 2010)