@inproceedings(Augustsson1985,
 author       = "Lennart Augustsson",
 year         = "1985",
 title        = "Compiling pattern matching",
 booktitle    = "Functional Programming Languages and Computer Architecture",
 series       = "Lecture Notes in Computer Science",
 volume       = "201",
 publisher    = "Springer-Verlag",
 pages        = "368--381",
 doi          = "10.1007/3-540-15975-4\_48",
)
@book(Box1970,
 author       = "George E.P. Box and Gwilym M. Jenkins",
 year         = "1970",
 title        = "Time series analysis: Forecasting and control",
 publisher    = "Holden--Day",
 address      = "San Francisco",
)
@article(Broy1988,
 author       = "Manfred Broy",
 year         = "1988",
 title        = "Nondeterministic data flow programs: how to avoid the merge anomaly",
 journal      = "Science of Computer Programming",
 volume       = "10",
 pages        = "65--85",
 doi          = "10.1016/0167-6423(88)90016-0",
)
@article(Broy2001,
 author       = "Manfred Broy and Gheorghe \IeC {\c S}tef\IeC {\u a}nescu",
 year         = "2001",
 title        = "The algebra of stream processing functions",
 journal      = "Theoretical Computer Science",
 volume       = "258",
 number       = "1--2",
 pages        = "99--129",
 doi          = "10.1016/S0304-3975(99)00322-9",
)
@inproceedings(Caspi1987,
 author       = "Paul Caspi and Daniel Pilaud and Nicolas Halbwachs and John Plaice",
 year         = "1987",
 title        = "Lustre: A Declarative Language for Programming Synchronous Systems",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "178--188",
 doi          = "10.1145/41625.41641",
)
@article(Cytron1991,
 author       = "Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark N. Wegman and  and F. Kenneth Zadeck",
 year         = "1991",
 title        = "Efficiently computing static single assignment form and the control dependence graph",
 journal      = "TOPLAS",
 volume       = "13",
 number       = "4",
 pages        = "451--490",
 doi          = "10.1145/115372.115320",
)
@manual(scade,
 organization = "Esterel Technologies",
 year         = "2013",
 title        = "Scade Suite",
 url          = "http://www.esterel-technologies.com/products/scade-suite/",
)
@inproceedings(Henzinger1996,
 author       = "Thomas A. Henzinger",
 year         = "1996",
 title        = "The Theory of Hybrid Automata",
 booktitle    = "Proc. Logic in Computer Science (LICS '96)",
 publisher    = "IEEE Computer Society",
 pages        = "278--292",
 doi          = "10.1109/LICS.1996.561342",
)
@article(Hughes2000,
 author       = "John Hughes",
 year         = "2000",
 title        = "Generalising monads to arrows",
 journal      = "Sci. Comput. Program.",
 volume       = "37",
 number       = "1-3",
 pages        = "67--111",
 doi          = "10.1016/S0167-6423(99)00023-4",
)
@manual(simulink,
 organization = "The MathWorks",
 year         = "2000",
 title        = "Simulink, Dynamic System Simulation for Matlab --- Using Simulink",
 url          = "http://www.mathworks.com",
)
@article(Moggi1991,
 author       = "Eugenio Moggi",
 year         = "1991",
 title        = "Notions of Computation and Monads",
 journal      = "Information and Computation",
 volume       = "93",
 number       = "1",
 pages        = "55--92",
 doi          = "10.1016/0890-5401(91)90052-4",
)
@inproceedings(Nilsson2002,
 author       = "Henrik Nilsson and Antony Courtney and John Peterson",
 year         = "2002",
 title        = "Functional Reactive Programming, Continued",
 booktitle    = "Haskell Workshop",
 publisher    = "ACM",
 pages        = "51--64",
 doi          = "10.1145/581690.581695",
)
@article(Niqui2013,
 author       = "Milad Niqui and Jan Rutten",
 year         = "2013",
 title        = "Stream processing coalgebraically",
 journal      = "Science of Computer Programming",
 volume       = "78",
 pages        = "2192--2215",
 doi          = "10.1016/j.scico.2012.07.013",
)
@article(Pardo1998,
 author       = "Alberto Pardo",
 year         = "1998",
 title        = "Monadic Corecursion -- Definition, Fusion Laws and Applications",
 journal      = "ENTCS",
 volume       = "11",
 pages        = "105--139",
 doi          = "10.1016/S1571-0661(04)00055-6",
)
@misc(simulink-params,
 author       = "Guy Rouleau and Seth Popinchalk",
 year         = "2008",
 title        = "Initializing Parameters",
 howpublished = "Matlab Central Blog",
 url          = "http://blogs.mathworks.com/seth/2008/12/25/initializing-parameters/",
 note         = "Retrieved 2013-12-31",
)
@article(Rutten2000,
 author       = "Jan J.M.M. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 number       = "1",
 pages        = "3--80",
 doi          = "10.1016/S0304-3975(00)00056-6",
)
@book(Spivey1988,
 author       = "J. M. Spivey",
 year         = "1988",
 title        = "The Z Notation: a reference manual",
 series       = "International Series in Computer Science",
 publisher    = "Prentice Hall",
)
@manual(SupercolliderHome,
 year         = "2011",
 title        = "{S}upercollider {H}omepage",
 url          = "http://supercollider.sourceforge.net/",
)
@incollection(Telford1997,
 author       = "Alastair Telford and David A. Turner",
 year         = "1997",
 title        = "Ensuring streams flow",
 editor       = "Michael Johnson",
 booktitle    = "Algebraic Methodology and Software Technology",
 series       = "Lecture Notes in Computer Science",
 volume       = "1349",
 publisher    = "Springer-Verlag",
 pages        = "509--523",
 doi          = "10.1007/BFb0000493",
)
@article(Turner2004,
 author       = "David A. Turner",
 year         = "2004",
 title        = "Total Functional Programming",
 journal      = "Univ. Comput. Sci.",
 volume       = "10",
 number       = "7",
 pages        = "751--768",
 doi          = "10.3217/jucs-010-07-0751",
)
@article(Wan2000,
 author       = "Zhanyong Wan and Paul Hudak",
 year         = "2000",
 title        = "Functional reactive programming from first principles",
 journal      = "SIGPLAN Not.",
 volume       = "35",
 number       = "5",
 pages        = "242--252",
 doi          = "10.1145/358438.349331",
)
@book(SupercolliderBook,
 author       = "Scott Wilson and David Cottle and Nick Collins",
 year         = "2011",
 title        = "{T}he {S}upercollider {B}ook",
 publisher    = "The MIT Press",
 url          = "http://supercolliderbook.net",
)