Formalized Mathematics    (ISSN 0777-4028)
Volume 1, Number 2 (1990): pdf, ps, dvi.
Preface: pdf, ps, dvi.