Formalized Mathematics    (ISSN 1426-2630)
Volume 13, Number 4 (2005): pdf, ps, dvi.