The Wayback Machine - https://web.archive.org/web/20250403075719/https://som.web.cmu.edu/StructuresAppendix2.pdf