--- a/src/Doc/manual.bib Tue Mar 29 10:57:02 2016 +0200
+++ b/src/Doc/manual.bib Tue Mar 29 17:42:43 2016 +0200
@@ -575,6 +575,20 @@
publisher = {Springer},
year = 1979}
+@inproceedings{di-gianantonio-miculan-2003,
+ author = {Di Gianantonio, Pietro and
+ Marino Miculan},
+ title = {A Unifying Approach to Recursive and Co-recursive Definitions},
+ booktitle = {TYPES 2002},
+ year = {2003},
+ pages = {148--161},
+ editor = {Herman Geuvers and
+ Freek Wiedijk},
+ publisher = {Springer},
+ series = {LNCS},
+ volume = {2646}
+}
+
@book{dummett,
author = {Michael Dummett},
title = {Elements of Intuitionism},
@@ -834,6 +848,28 @@
pages = {265--270},
year = 1997}
+@article{hinze10,
+ author = {Hinze, Ralf},
+ title = {Concrete stream calculus---{A}n extended study},
+ journal = {J. Funct. Program.},
+ volume = {20},
+ issue = {Special Issue 5-6},
+ year = {2010},
+ issn = {1469-7653},
+ pages = {463--535}
+}
+
+@inproceedings{sine,
+ author = "Kry\v{s}tof Hoder and Andrei Voronkov",
+ title = "Sine Qua Non for Large Theory Reasoning",
+ booktitle = {Automated Deduction --- CADE-23},
+ publisher = Springer,
+ series = LNCS,
+ volume = 6803,
+ pages = "299--314",
+ editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
+ year = 2011}
+
@book{HopcroftUllman,author={John E. Hopcroft and Jeffrey D. Ullman},
title={Introduction to Automata Theory, Languages, and Computation.},
publisher={Addison-Wesley},year=1979}
@@ -858,17 +894,6 @@
number = 5,
month = May}
-@inproceedings{sine,
- author = "Kry\v{s}tof Hoder and Andrei Voronkov",
- title = "Sine Qua Non for Large Theory Reasoning",
- booktitle = {Automated Deduction --- CADE-23},
- publisher = Springer,
- series = LNCS,
- volume = 6803,
- pages = "299--314",
- editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
- year = 2011}
-
@book{Hudak-Haskell,author={Paul Hudak},
title={The Haskell School of Expression},publisher=CUP,year=2000}
@@ -1725,6 +1750,16 @@
publisher = {Bastad}
}
+@article{rutten05,
+ author = {Jan J. M. M. Rutten},
+ title = {A coinductive calculus of streams},
+ journal = {Math. Struct. Comp. Sci.},
+ volume = 15,
+ number = 1,
+ year = 2005,
+ pages = {93--147},
+}
+
%S
@inproceedings{saaltink-fme,