@book(Barclay,
 author       = {Kenneth A. Barclay},
 year         = {1989},
 title        = {C: Problem Solving and Programming},
 edition      = {1},
 publisher    = {Prentice Hall International},
)
@inproceedings(Cherenkova,
 author       = {Yuliya Cherenkova and Daniel Zingaro and Andrew Petersen},
 year         = {2014},
 title        = {{Identifying Challenging CS1 Concepts in a Large Problem Dataset}},
 booktitle    = {Proceedings of the 45th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE ’14},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {695–700},
 doi          = {10.1145/2538862.2538966},
)
@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}},
 edition      = {{First}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@book(HtDP2,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
 year         = {2018},
 title        = {{How to Design Programs: An Introduction to Programming and Computing}},
 edition      = {{Second}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@article(PPL,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barsilay and Jay McCarthy and Tobin-Hochstadt, Sam},
 year         = {2018},
 title        = {{A Programmable Programming Language}},
 journal      = {Commun. ACM},
 volume       = {61},
 number       = {13},
 pages        = {62--71},
 doi          = {10.1145/3127223},
)
@book(Ford,
 author       = {William Ford and William Topp},
 year         = {1996},
 title        = {{Data Structures with C++}},
 edition      = {first},
 publisher    = {Prentice Hall},
)
@book(eopl,
 author       = {Daniel P. Friedman and Mitchell Wand},
 year         = {2008},
 title        = {Essentials of Programming Languages},
 edition      = {3},
 publisher    = {The MIT Press},
)
@article(Ginat,
 author       = {David Ginat},
 year         = {2004},
 title        = {{On Novice Loop Boundaries and Range Conceptions}},
 journal      = {Computer Science Education},
 volume       = {14},
 number       = {3},
 pages        = {165--181},
 doi          = {10.1080/0899340042000302709},
)
@book(Goodrich,
 author       = {Michael T. Goodrich and Roberto Tamassia and Michael H. Goldwasser},
 year         = {2014},
 title        = {Data Structures and Algorithms},
 edition      = {6},
 publisher    = {JohnWiley \& Sons, Inc.},
)
@book(Harbison,
 author       = {Samuel P. Harbison and Guy L. Steele Jr.},
 year         = {1991},
 title        = {C: A Reference Manual},
 edition      = {3},
 publisher    = {Prentice Hall},
)
@article(Hoare,
 author       = {C. A. R. Hoare},
 year         = {1969},
 title        = {An Axiomatic Basis for Computer Programming},
 journal      = {Commun. ACM},
 volume       = {12},
 number       = {10},
 pages        = {576--580},
 doi          = {10.1145/363235.363259},
)
@book(Hoare1998,
 author       = {C.A.R. Hoare and H. Jifeng},
 year         = {1998},
 title        = {Unifying Theories of Programming},
 series       = {Prentice Hall series in computer science},
 publisher    = {Prentice Hall},
)
@inproceedings(Izu,
 author       = {Cruz Izu and Cheryl Pope and Amali Weerasinghe},
 year         = {2019},
 title        = {{Up or Down? An Insight into Programmer’s Acquisition of Iteration Skills}},
 booktitle    = {Proceedings of the 50th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE ’19},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {941–947},
 doi          = {10.1145/3287324.3287350},
)
@book(Kelley,
 author       = {Al Kelley and Ira Pohl},
 year         = {1996},
 title        = {C by Dissection:The Essentials of C Programming},
 edition      = {3},
 publisher    = {Addison-Wesley Publishing Company, Inc.},
)
@misc(Martin,
 author       = {H\'{e}l\`{e}ne Martin},
 year         = {2010},
 title        = {{While Loops Gone Wild}},
 howpublished = {http://www.helenemartin.com/index.html\%3Fp=297.html},
 note         = {Accessed 2020-03-06},
)
@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},
)
@article(mtm27,
 author       = {Marco T. Moraz\'{a}n},
 year         = {2018},
 title        = {{Infusing an HtDP-Based CS1 with Distributed Programming Using Functional Video Games}},
 journal      = {Journal of Functional Programming},
 volume       = {28},
 pages        = {e5},
 doi          = {10.1017/S0956796818000059},
)
@inproceedings(VINTV,
 author       = {Marco T. Moraz\'an},
 year         = {2018},
 title        = {{Vector Programming Using Structural Recursion }},
 editor       = {Simon Thompson},
 booktitle    = {{\rm Proceedings Sixth Workshop on} Trends in Functional Programming in Education, {\rm Canterbury, Kent UK, 22 June 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {270},
 publisher    = {Open Publishing Association},
 pages        = {1--17},
 doi          = {10.4204/EPTCS.270.1},
)
@book(Scott,
 author       = {Michael L. Scott},
 year         = {2000},
 title        = {Programming Language Pragmatics},
 edition      = {1},
 publisher    = {Morgan Kaufmann Publishers},
)
@book(Sedgewick,
 author       = {Robert Sedgewick and Kevin Wayne},
 year         = {2008},
 title        = {Introduction to Programming in Java: An Interdisciplinary Approach},
 edition      = {6},
 publisher    = {Pearson Education, Inc.},
)
@book(Tymann,
 author       = {Paul T. Tymann and G. Michael Schneider},
 year         = {2004},
 title        = {{Modern Software Development Using Java}},
 publisher    = {Thomson Brooks/Cole},
)