--- a/doc-src/manual.bib Thu Mar 15 11:06:33 2001 +0100
+++ b/doc-src/manual.bib Thu Mar 15 13:57:10 2001 +0100
@@ -144,6 +144,10 @@
@book{Bird-Wadler,author="Richard Bird and Philip Wadler",
title="Introduction to Functional Programming",publisher=PH,year=1988}
+@book{Bird-Haskell,author="Richard Bird",
+title="Introduction to Functional Programming using Haskell",
+publisher=PH,year=1998}
+
@Article{boyer86,
author = {Robert Boyer and Ewing Lusk and William McCune and Ross
Overbeek and Mark Stickel and Lawrence Wos},
@@ -410,6 +414,9 @@
number = 5,
month = May}
+@book{Hudak-Haskell,author={Paul Hudak},
+title={The Haskell School of Expression},publisher=CUP,year=2000}
+
@article{huet75,
author = {G. P. Huet},
title = {A Unification Algorithm for Typed $\lambda$-Calculus},
@@ -923,6 +930,10 @@
publisher = {Addison-Wesley},
year = 1990}
+@book{Rosen-DMA,author={Kenneth H. Rosen},
+title={Discrete Mathematics and Its Applications},
+publisher={McGraw-Hill},year=1998}
+
@InProceedings{Rudnicki:1992:MizarOverview,
author = {P. Rudnicki},
title = {An Overview of the {MIZAR} Project},
@@ -1001,6 +1012,10 @@
publisher = {Addison-Wesley},
year = 1991}
+@book{Thompson-Haskell,author={Simon Thompson},
+title={Haskell: The Craft of Functional Programming},
+publisher={Addison-Wesley},year=1999}
+
@Unpublished{Trybulec:1993:MizarFeatures,
author = {A. Trybulec},
title = {Some Features of the {Mizar} Language},