Formalized mathematics (1996)

by John Harrison
Venue:TURKU CENTRE FOR COMPUTER SCIENCE