|
5375
|
1 |
\begin{thebibliography}{1}
|
|
|
2 |
|
|
|
3 |
\bibitem{Bird-Wadler}
|
|
|
4 |
Richard Bird and Philip Wadler.
|
|
|
5 |
\newblock {\em Introduction to Functional Programming}.
|
|
|
6 |
\newblock Prentice-Hall, 1988.
|
|
|
7 |
|
|
|
8 |
\bibitem{Isa-Ref-Man}
|
|
|
9 |
Lawrence~C. Paulson.
|
|
|
10 |
\newblock {\em The Isabelle Reference Manual}.
|
|
|
11 |
\newblock University of Cambridge, Computer Laboratory.
|
|
|
12 |
\newblock \verb$http://www.in.tum.de/~isabelle/dist/$.
|
|
|
13 |
|
|
|
14 |
\bibitem{Isa-Logics-Man}
|
|
|
15 |
Lawrence~C. Paulson.
|
|
|
16 |
\newblock {\em Isabelle's Object-Logics}.
|
|
|
17 |
\newblock University of Cambridge, Computer Laboratory.
|
|
|
18 |
\newblock \verb$http://www.in.tum.de/~isabelle/dist/$.
|
|
|
19 |
|
|
|
20 |
\bibitem{Paulson-ML}
|
|
|
21 |
Lawrence~C. Paulson.
|
|
|
22 |
\newblock {\em ML for the Working Programmer}.
|
|
|
23 |
\newblock Cambridge University Press, 2nd edition, 1996.
|
|
|
24 |
|
|
|
25 |
\end{thebibliography}
|