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