1.1 --- a/doc-src/manual.bib Thu Mar 15 11:06:33 2001 +0100
1.2 +++ b/doc-src/manual.bib Thu Mar 15 13:57:10 2001 +0100
1.3 @@ -144,6 +144,10 @@
1.4 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
1.5 title="Introduction to Functional Programming",publisher=PH,year=1988}
1.6
1.7 +@book{Bird-Haskell,author="Richard Bird",
1.8 +title="Introduction to Functional Programming using Haskell",
1.9 +publisher=PH,year=1998}
1.10 +
1.11 @Article{boyer86,
1.12 author = {Robert Boyer and Ewing Lusk and William McCune and Ross
1.13 Overbeek and Mark Stickel and Lawrence Wos},
1.14 @@ -410,6 +414,9 @@
1.15 number = 5,
1.16 month = May}
1.17
1.18 +@book{Hudak-Haskell,author={Paul Hudak},
1.19 +title={The Haskell School of Expression},publisher=CUP,year=2000}
1.20 +
1.21 @article{huet75,
1.22 author = {G. P. Huet},
1.23 title = {A Unification Algorithm for Typed $\lambda$-Calculus},
1.24 @@ -923,6 +930,10 @@
1.25 publisher = {Addison-Wesley},
1.26 year = 1990}
1.27
1.28 +@book{Rosen-DMA,author={Kenneth H. Rosen},
1.29 +title={Discrete Mathematics and Its Applications},
1.30 +publisher={McGraw-Hill},year=1998}
1.31 +
1.32 @InProceedings{Rudnicki:1992:MizarOverview,
1.33 author = {P. Rudnicki},
1.34 title = {An Overview of the {MIZAR} Project},
1.35 @@ -1001,6 +1012,10 @@
1.36 publisher = {Addison-Wesley},
1.37 year = 1991}
1.38
1.39 +@book{Thompson-Haskell,author={Simon Thompson},
1.40 +title={Haskell: The Craft of Functional Programming},
1.41 +publisher={Addison-Wesley},year=1999}
1.42 +
1.43 @Unpublished{Trybulec:1993:MizarFeatures,
1.44 author = {A. Trybulec},
1.45 title = {Some Features of the {Mizar} Language},