@article(DrJava,
 author       = {Eric Allen and Robert Cartwright and Brian Stoler},
 year         = {2002},
 title        = {{DrJava: A Lightweight Pedagogic Environment for Java}},
 journal      = {SIGCSE Bull.},
 volume       = {34},
 number       = {1},
 pages        = {137\IeC{\textendash}141},
 doi          = {10.1145/563517.563395},
)
@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},
)
@inproceedings(rainfall,
 author       = {Kathi Fisler},
 year         = {2014},
 title        = {{The Recurring Rainfall Problem}},
 editor       = {Quintin I. Cutts and Beth Simon and Brian Dorn},
 booktitle    = {International Computing Education Research Conference, {ICER} 2014, Glasgow, United Kingdom, August 11-13, 2014},
 publisher    = {{ACM}},
 pages        = {35--42},
 doi          = {10.1145/2632320.2632346},
)
@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 and Michael H. Goldwasser},
 year         = {2014},
 title        = {Data Structures and Algorithms},
 edition      = {6},
 publisher    = {JohnWiley \& Sons, Inc.},
)
@inproceedings(ProfJ,
 author       = {Kathryn E. Gray and Matthew Flatt},
 year         = {2003},
 title        = {ProfessorJ: A Gradual Introduction to Java through Language Levels},
 booktitle    = {Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 series       = {OOPSLA '03},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {170\IeC{\textendash}177},
 doi          = {10.1145/949344.949394},
)
@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},
 url          = {http://doi.acm.org/10.1145/363235.363259},
)
@book(Hoare2,
 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},
)
@article(BlueJ,
 author       = {Michael K{\"{o}}lling and Bruce Quig and Andrew Patterson and John Rosenberg},
 year         = {2003},
 title        = {{The BlueJ System and its Pedagogy}},
 journal      = {Comput. Sci. Educ.},
 volume       = {13},
 number       = {4},
 pages        = {249--268},
 doi          = {10.1076/csed.13.4.249.17496},
)
@misc(Lerner,
 author       = {Ben Lerner},
 year         = {2021},
 title        = {Fundamentals II: Introduction to Class-based Program Design},
 url          = {https://course.ccs.neu.edu/cs2510/},
 note         = {Accessed 2021-06-10},
)
@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(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(mtm28,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2015},
 title        = {{Generative and Accumulative Recursion Made fun for Beginners}},
 journal      = {Comput. Lang. Syst. Struct.},
 volume       = {44},
 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},
)
@article(mtm30,
 author       = {Moraz\IeC{\'a}n, Marco T.},
 year         = {2020},
 title        = {How to Design While Loops},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {321},
 pages        = {1\IeC{\textendash}18},
 doi          = {10.4204/eptcs.321.1},
)
@inproceedings(bootst,
 author       = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi},
 year         = {2018},
 title        = {{Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems}},
 editor       = {Tiffany Barnes and Daniel D. Garcia and Elizabeth K. Hawthorne and P{\'{e}}rez{-}Qui{\~{n}}ones, Manuel A.},
 booktitle    = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
 publisher    = {{ACM}},
 pages        = {8--13},
 doi          = {10.1145/3159450.3159498},
)
@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.},
)
@inproceedings(PwC,
 author       = {Tobin{-}Hochstadt, Sam and David Van Horn},
 year         = {2013},
 title        = {{From Principles to Practice with Class in the First Year}},
 editor       = {Philip K. F. H{\"{o}}lzenspies},
 booktitle    = {Proceedings Second Workshop on Trends in Functional Programming In Education, {TFPIE} 2013, Provo, Utah, USA, 13th May 2013},
 series       = {{EPTCS}},
 volume       = {136},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.136.1},
)
@book(Tymann,
 author       = {Paul T. Tymann and G. Michael Schneider},
 year         = {2004},
 title        = {{Modern Software Development Using Java}},
 publisher    = {Thomson Brooks/Cole},
)