Algorithms and proofs: mathematics in the computing curriculum. - Newcomb Greenleaf (SIGCSE, 1989)

Algorithms and software: integrating theory and practice in the undergraduate computer science curriculum. - Judith D. Wilson; Newcomb Greenleaf; Robert G. Trenary (SIGCSE, 1989)

Computability and data types. - Newcomb Greenleaf (SIGCSE, 1990)

Bringing Mathematics Education into the Algorithmic Age. - Newcomb Greenleaf (Constructivity in Computer Science, 1991)