Văn bản này: Computer science, a mathematical introduction :