Elements of computer science by Glyn Emery