24 |
24 |
25 \bibitem{camilleri92} |
25 \bibitem{camilleri92} |
26 Camilleri, J., Melham, T.~F., |
26 Camilleri, J., Melham, T.~F., |
27 \newblock Reasoning with inductively defined relations in the {HOL} theorem |
27 \newblock Reasoning with inductively defined relations in the {HOL} theorem |
28 prover, |
28 prover, |
29 \newblock Tech. Rep. 265, Comp. Lab., Univ. Cambridge, August 1992 |
29 \newblock Tech. Rep. 265, Comp. Lab., Univ. Cambridge, Aug. 1992 |
30 |
30 |
31 \bibitem{davey&priestley} |
31 \bibitem{davey&priestley} |
32 Davey, B.~A., Priestley, H.~A., |
32 Davey, B.~A., Priestley, H.~A., |
33 \newblock {\em Introduction to Lattices and Order}, |
33 \newblock {\em Introduction to Lattices and Order}, |
34 \newblock Cambridge Univ. Press, 1990 |
34 \newblock Cambridge Univ. Press, 1990 |
116 \newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993 |
116 \newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993 |
117 |
117 |
118 \bibitem{paulson-final} |
118 \bibitem{paulson-final} |
119 Paulson, L.~C., |
119 Paulson, L.~C., |
120 \newblock A concrete final coalgebra theorem for {ZF} set theory, |
120 \newblock A concrete final coalgebra theorem for {ZF} set theory, |
121 \newblock Tech. rep., Comp. Lab., Univ. Cambridge, 1994 |
121 \newblock Tech. Rep. 334, Comp. Lab., Univ. Cambridge, 1994 |
122 |
122 |
123 \bibitem{pitts94} |
123 \bibitem{pitts94} |
124 Pitts, A.~M., |
124 Pitts, A.~M., |
125 \newblock A co-induction principle for recursively defined domains, |
125 \newblock A co-induction principle for recursively defined domains, |
126 \newblock {\em Theoretical Comput. Sci.\/} (1994), |
126 \newblock {\em Theoretical Comput. Sci. {\bf 124}\/} (1994), 195--219 |
127 \newblock In press; available as Report 252, Comp. Lab., Univ. Cambridge |
|
128 |
127 |
129 \bibitem{saaltink-fme} |
128 \bibitem{saaltink-fme} |
130 Saaltink, M., Kromodimoeljo, S., Pase, B., Craigen, D., Meisels, I., |
129 Saaltink, M., Kromodimoeljo, S., Pase, B., Craigen, D., Meisels, I., |
131 \newblock An {EVES} data abstraction example, |
130 \newblock An {EVES} data abstraction example, |
132 \newblock In {\em FME '93: Industrial-Strength Formal Methods\/} (1993), |
131 \newblock In {\em FME '93: Industrial-Strength Formal Methods\/} (1993), |