Mathematics with a microcomputer Problems, algorithms and proofs - Hoare, Graham and Powell, Martin (Ward lock educational, London, 1985)