Oulie
An introduction to discrete mathematics and formal system specification by Darrel Ince — Oulie