http://www.tardis.ed.ac.uk/~itda/doc mirror?