Algorithms in modern mathematics and computer science

Algorithms and proofs: mathematics in the computing curriculum

SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education

Cited References

Computer algebra handbook

Applying abstraction to master complexity

Proceedings of the 2nd international workshop on The role of abstraction in software engineering

An Interview with Joseph F. Traub

Ubiquity