The Wayback Machine - https://web.archive.org/web/20131029210003/http://www.css.ethz.ch/publications/pdfs/CAD-51-52.pdf