The Wayback Machine - https://web.archive.org/web/20251123052443/https://smlfamily.github.io/sml97-defn.pdf