Formalized Mathematics
(ISSN 0777-4028)
Volume 2, Number 4 (1991):
pdf
,
ps
,
dvi
.