Algorithms and proofs: mathematics in the computing curriculum.

Newcomb Greenleaf

Browse the full SIGCSE paper archive.