@book(Baase,
 author       = {Sara Baase},
 year         = {1988},
 title        = {{Computer Algorithms}},
 edition      = {second},
 publisher    = {Addison-Wesley Publishing},
 address      = {Reading, MA, USA},
)
@book(Brady,
 author       = {Edwin Brady},
 year         = {2017},
 title        = {{Type-Driven Development with Idris}},
 publisher    = {Manning Publications},
 address      = {USA},
)
@book(Burden,
 author       = {Richard L. Burden and J. Douglas Faires},
 year         = {1985},
 title        = {{Numerical Analysis}},
 edition      = {third},
 publisher    = {Prindle, Weber, \& Schmidt},
)
@manual(codeorg,
 organization = {Code.org},
 year         = {2017},
 title        = {Lesson 13: Introduction to Arrays},
)
@book(HtDP,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
 year         = {2001},
 title        = {{How to Design Programs: An Introduction to Programming and Computing}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@unpublished(HtDP2,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
 year         = {2015},
 title        = {{How to Design Programs}},
 note         = {Http://www.ccs.neu.edu/home/matthias/HtDP2e/},
)
@book(Ford,
 author       = {William Ford and William Topp},
 year         = {1996},
 title        = {{Data Structures with C++}},
 edition      = {first},
 publisher    = {Prentice Hall},
)
@book(Goodrich,
 author       = {Michael T. Goodrich and Roberto Tamassia},
 year         = {2001},
 title        = {{Data Structures and Algorithms in Java}},
 edition      = {second},
 publisher    = {John Wiley \& Sons},
)
@book(Knuth3,
 author       = {Donald E. Knuth},
 year         = {1998},
 title        = {{The Art of Computer Programming, Volume 3: Sorting and Searching}},
 edition      = {second},
 publisher    = {Addison Wesley Longman Publishing Co., Inc.},
 address      = {Redwood City, CA, USA},
)
@inproceedings(mtm22,
 author       = {Marco T. Moraz{\'a}n},
 year         = {2011},
 title        = {{Functional Video Games in the CS1 Classroom}},
 editor       = {Rex Page and Zolt{\'a}n Horv{\'a}th and Vikt{\'o}ria Zs{\'o}k},
 booktitle    = {Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {166--183},
 doi          = {10.1007/978-3-642-22941-1_11},
)
@inproceedings(mtm24,
 author       = {Marco T. Moraz{\'a}n},
 year         = {2012},
 title        = {{Functional Video Games in CS1 II}},
 editor       = {Pe{\~{n}}a, Ricardo and Rex Page},
 booktitle    = {Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {7193},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {146--162},
 doi          = {10.1007/978-3-642-32037-8_10},
)
@inproceedings(mtm26,
 author       = {Marco T. Moraz{\'a}n},
 year         = {2014},
 title        = {{Functional Video Games in CS1 III}},
 editor       = {Jay McCarthy},
 booktitle    = {Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8322},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {149--167},
 doi          = {10.1007/978-3-642-45340-3_10},
)
@article(mtm25,
 author       = {Marco T. Moraz\'{a}n},
 year         = {2015},
 title        = {{Generative and Accumulative Recursion Made Fun for Beginners}},
 journal      = {{Comput. Lang. Syst. Struct.}},
 volume       = {44},
 number       = {PB},
 pages        = {181--197},
 doi          = {10.1016/j.cl.2015.08.001},
)
@book(Sedgewick,
 author       = {Robert Sedgewick and Kevin Wayne},
 year         = {2007},
 title        = {{Introduction to Programming in Java: An Interdisciplinary Approach}},
 edition      = {1st},
 publisher    = {Addison-Wesley Publishing Company},
 address      = {USA},
)
@book(Silberschatz,
 author       = {Abraham Silberschatz and Peter Baer Galvin and Greg Gagne},
 year         = {2010},
 title        = {{Operating System Concepts wit Java}},
 edition      = {eighth},
 publisher    = {John Wiley \& Sons},
)
@book(Tymann,
 author       = {Paul T. Tymann and G. Michael Schneider},
 year         = {2004},
 title        = {{Modern Software Development Using Java}},
 publisher    = {Thomson Brooks/Cole},
)
@book(Venit,
 author       = {Stewart Venit and Wayne Bishop},
 year         = {1985},
 title        = {{Elementary Linear Algebra}},
 edition      = {second},
 publisher    = {Prindle, Weber, and Schmidt},
)
@article(Xi,
 author       = {Hongwei Xi},
 year         = {2007},
 title        = {Dependent ML An Approach to Practical Programming with Dependent Types},
 journal      = {J. Funct. Program.},
 volume       = {17},
 number       = {2},
 pages        = {215--286},
 doi          = {10.1017/S0956796806006216},
)