Mathematical Methods In Computer Science by J.C. Calmet