The Wayback Machine - https://web.archive.org/web/20230102185916/https://www.cs.rhul.ac.uk/books/dbook/main.pdf