Technical Report 36, Turku Centre for Computer Science (TUCS)
@TECHREPORT{harrison-form, author = "John Harrison", title = "Formalized Mathematics", institution = "Turku Centre for Computer Science (TUCS)", address = "Lemmink{\"a}isenkatu 14 A, FIN-20520 Turku, Finland", year = 1996, type = "Technical Report", number = 36, note = "Available on the Web as {\verb+http://www.cl.cam.ac.uk/~jrh13/papers/form-math3.html+}"}