Formalized Mathematics (1996)

by J Harrison
Venue:Turku Centre for Computer Science