@book(adams2010calculus,
 author       = {Robert Alexander Adams and Christopher Essex},
 year         = {2010},
 title        = {Calculus: a complete course},
 edition      = {7th},
 publisher    = {Pearson Canada},
)
@book(biancuzzi2009masterminds,
 author       = {Federico Biancuzzi},
 year         = {2009},
 title        = {Masterminds of programming: Conversations with the creators of major programming languages},
 publisher    = {O'Reilly Media, Inc.},
)
@book(bird2014thinking,
 author       = {Richard Bird},
 year         = {2014},
 title        = {Thinking Functionally with Haskell},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781316092415},
)
@article(boute2009decibel,
 author       = {Raymond Boute},
 year         = {2009},
 title        = {The decibel done right: a matter of engineering the math},
 journal      = {Antennas and Propagation Magazine, IEEE},
 volume       = {51},
 number       = {6},
 pages        = {177--184},
 doi          = {10.1109/MAP.2009.5433137},
)
@article(brady2013idris,
 author       = {Edwin Brady},
 year         = {2013},
 title        = {Idris, a general-purpose dependently typed programming language: Design and implementation},
 journal      = {Journal of Functional Programming},
 volume       = {23},
 number       = {05},
 pages        = {552--593},
 doi          = {10.1017/S095679681300018X},
)
@misc(descartes1954geometry,
 author       = {Rene Descartes},
 year         = {1954},
 title        = {The Geometry, translated by E. Smith and ML Latham},
)
@book(edwards2008elementary,
 author       = {Charles Henry Edwards and David E Penney and David Calvis},
 year         = {2008},
 title        = {Elementary Differential Equations},
 edition      = {6h},
 publisher    = {Pearson Prentice Hall Upper Saddle River, NJ},
)
@book(fowler2010domain,
 author       = {Martin Fowler},
 year         = {2010},
 title        = {Domain-specific languages},
 publisher    = {Pearson Education},
)
@inproceedings(gibbons2013functional,
 author       = {Jeremy Gibbons},
 year         = {2013},
 title        = {Functional Programming for Domain-Specific Languages},
 editor       = {Zs\IeC{\'o}k, Vikt\IeC{\'o}ria and Horv\IeC{\'a}th, Zolt\IeC{\'a}n and Csat\IeC{\'o}, Lehel},
 booktitle    = {Central European Functional Programming - Summer School on Domain-Specific Languages},
 series       = {LNCS},
 volume       = {8606},
 publisher    = {Springer},
 pages        = {1--28},
 doi          = {10.1007/978-3-319-15940-9\_1},
)
@inproceedings(gibbons2014folding,
 author       = {Jeremy Gibbons and Nicolas Wu},
 year         = {2014},
 title        = {Folding Domain-specific Languages: Deep and Shallow Embeddings (Functional Pearl)},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '14},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {339--347},
 doi          = {10.1145/2628136.2628138},
)
@book(gries1993logical,
 author       = {David Gries and Fred B Schneider},
 year         = {1993},
 title        = {A logical approach to discrete math},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-3837-7},
)
@article(gries1995teaching,
 author       = {David Gries and Fred B Schneider},
 year         = {1995},
 title        = {Teaching math more effectively, through calculational proofs},
 journal      = {American Mathematical Monthly},
 pages        = {691--697},
 doi          = {10.2307/2974638},
)
@book(halmos1985want,
 author       = {Paul Halmos},
 year         = {1985},
 title        = {I want to be a mathematician},
 publisher    = {Springer-Verlag New York},
 doi          = {10.1007/978-1-4612-1084-9},
)
@incollection(ionescu2013dependently,
 author       = {Cezar Ionescu and Patrik Jansson},
 year         = {2013},
 title        = {Dependently-typed programming in scientific computing},
 booktitle    = {Implementation and Application of Functional Languages},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {140--156},
 doi          = {10.1007/978-3-642-41582-1\_9},
)
@inproceedings(ionescu2013testing,
 author       = {Cezar Ionescu and Patrik Jansson},
 year         = {2013},
 title        = {Testing versus proving in climate impact research},
 booktitle    = {Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]11)},
 volume       = {19},
 pages        = {41--54},
 doi          = {10.4230/LIPIcs.TYPES.2011.41},
)
@misc(dslmcourseplan,
 author       = {Cezar Ionescu and Patrik Jansson},
 year         = {2015},
 title        = {Domain-Specific Languages of Mathematics},
 url          = {https://www.student.chalmers.se/sp/course?course_id=24179},
 note         = {Course plan for DAT325, Chalmers University of Technology},
)
@inproceedings(kraft2004functions,
 author       = {Roger Kraft},
 year         = {2004},
 title        = {Functions and Parameterizations as Objects to Think With},
 booktitle    = {Maple Summer Workshop, July 2004, Wilfrid Laurier University, Waterloo, Ontario, Canada},
)
@article(mcilroy1999functional,
 author       = {M Douglas McIlroy},
 year         = {1999},
 title        = {Functional pearl: {P}ower series, power serious},
 journal      = {J. of Functional Programming},
 volume       = {9},
 pages        = {323--335},
 doi          = {10.1017/S0956796899003299},
)
@article(mcilroy2001music,
 author       = {M Douglas McIlroy},
 year         = {2001},
 title        = {The music of streams},
 journal      = {Information Processing Letters},
 volume       = {77},
 number       = {2},
 pages        = {189--195},
 doi          = {10.1016/S0020-0190(00)00201-5},
)
@incollection(demoor2000pointwise,
 author       = {Oege de Moor and Jeremy Gibbons},
 year         = {2000},
 title        = {Pointwise Relational Programming},
 editor       = {Teodor Rus},
 booktitle    = {Algebraic Methodology and Software Technology},
 series       = {Lecture Notes in Computer Science},
 volume       = {1816},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {371--390},
 doi          = {10.1007/3-540-45499-3\_27},
)
@article(mu2009algebra,
 author       = {Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson},
 year         = {2009},
 title        = {Algebra of programming in {Agda}: Dependent types for relational program derivation},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {5},
 pages        = {545},
 doi          = {10.1017/S0956796809007345},
)
@book(norell2007towards,
 author       = {Ulf Norell},
 year         = {2007},
 title        = {Towards a practical programming language based on dependent type theory},
 volume       = {32},
 publisher    = {Chalmers University of Technology},
 doi          = {10.1.1.436.7331},
)
@article(pavlovic1999coalgebra,
 author       = {D Pavlovi{\'c} and V. Pratt},
 year         = {1999},
 title        = {On coalgebra of real numbers},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {19},
 pages        = {103--117},
 doi          = {10.1016/S1571-0661(05)80272-5},
)
@book(rudin1976principles,
 author       = {Walter Rudin},
 year         = {1976},
 title        = {Principles of Mathematical Analysis},
 edition      = {3rd},
 publisher    = {McGraw-Hill Publishing Co.},
)
@techreport(sussman2002role,
 author       = {Gerald Jay Sussman and Jack Wisdom},
 year         = {2002},
 title        = {The role of programming in the formulation of ideas},
 type         = {Artificial Intelligence Laboratory memo},
 number       = {AIM-2002-018},
 institution  = {MIT},
)
@book(sussman2013functional,
 author       = {Gerald Jay Sussman and Jack Wisdom},
 year         = {2013},
 title        = {Functional Differential Geometry},
 publisher    = {MIT Press},
)
@inproceedings(tolvanen2011industrial,
 author       = {J Tolvanen},
 year         = {2011},
 title        = {Industrial Experiences on Using {DSL}s in Embedded Software Development},
 booktitle    = {Proceedings of Embedded Software Engineering Kongress (Tagungsband), December 2011},
 doi          = {10.1.1.700.1924},
)
@incollection(wadler2003prettier,
 author       = {Philip Wadler},
 year         = {2003},
 title        = {A prettier printer},
 editor       = {Oege de Moor and Jeremy Gibbons and Geraint Jones},
 booktitle    = {The Fun of Programming},
 publisher    = {Palgrave Macmillan},
 pages        = {223--243},
 doi          = {10.1.1.19.635},
)
@article(wells1995communicating,
 author       = {Charles Wells},
 year         = {1995},
 title        = {Communicating mathematics: Useful ideas from computer science},
 journal      = {American Mathematical Monthly},
 pages        = {397--408},
 doi          = {10.2307/2975030},
)