Formalized Mathematics
(ISSN 1426-2630)
Volume 15, Numbers 1,2,3,4 (2007):
PDF
.