The Wayback Machine - https://web.archive.org/web/20241207084211/https://nms.kcl.ac.uk/maribel.fernandez/papers/slides-TCS-SOUP.pdf