Newcomb Greenleaf

Algorithms and proofs: mathematics in the computing curriculum

Newcomb Greenleaf, 1989, SIGCSE '89.

Computability and data types

Newcomb Greenleaf, 1990, SIGCSE '90.

Interactive Mouse-Driven Animation of Mathematical Processes

Newcomb Greenleaf, 1986 .

Algorithms and software: integrating theory and practice in the undergraduate computer science curriculum

Robert Trenary, Judith D. Wilson, Newcomb Greenleaf, 1989, SIGCSE '89.

Bringing Mathematics Education into the Algorithmic Age

Newcomb Greenleaf, 1991, Constructivity in Computer Science.