The Wayback Machine - https://web.archive.org/web/20050508003932/http://www.epress.nus.edu.sg:80/msl/MSL.pdf