bibliography-bib.bib
@book{Abelson1996,
author = {Harold Abelson and Gerald J. Sussman and Julia Sussman},
publisher = {{MIT} Press},
title = {Structure and Interpretation of Computer Programs},
edition = 2,
year = 1996,
isbn = {0-262-01153-0},
bibsource = {dblp computer science bibliography,
https://dblp.org},
biburl = {https://dblp.org/rec/books/mit/AbelsonS96.bib}
}
@book{Balbin_1985_logic_programming_bibliography,
author = {Isaac Balbin and Koenraad Lecot},
title = {Logic Programming},
year = 1985,
doi = {10.1007/978-94-009-5044-3},
url = {http://dx.doi.org/10.1007/978-94-009-5044-3},
isbn = {9789400950443},
publisher = {Springer Netherlands}
}
@book{DBLP_books_eh_campbell84_C1984,
_author = {{Various Authors}},
editor = {John A. Campbell},
title = {Implementations of Prolog},
publisher = {Ellis Horwood/Halsted Press/Wiley},
year = 1984,
isbn = {0-85312-675-5},
timestamp = {Mon, 05 Aug 2019 16:47:22 +0200},
biburl = {https://dblp.org/rec/books/eh/campbell84/C1984.bib},
bibsource = {dblp computer science bibliography,
https://dblp.org}
}
@book{DBLP:books_mit_AbelsonS85,
author = {Harold Abelson and Gerald J. Sussman},
title = {Structure and Interpretation of Computer Programs},
edition = 1,
year = 1985,
publisher = {{MIT} Press},
isbn = {0-262-51036-7},
timestamp = {Thu, 03 Jan 2002 11:51:26 +0100},
biburl = {https://dblp.org/rec/books/mit/AbelsonS85.bib},
bibsource = {dblp computer science bibliography,
https://dblp.org}
}
@article{DBLPjournals_ngc_Carlsson84,
author = {Mats Carlsson},
title = {On Implementing {P}rolog in Functional Programming},
year = 1984,
volume = 2,
number = 4,
pages = {347-359},
doi = {10.1007/BF03037326},
url = {https://doi.org/10.1007/BF03037326},
journaltitle = {New Gener. Comput.},
timestamp = {Thu, 14 May 2020 22:24:09 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Carlsson84.bib},
bibsource = {dblp computer science bibliography,
https://dblp.org}
}
@book{Dominik2010orgmode,
author = {Carsten Dominik},
title = {The Org-Mode 7 Reference Manual: Organize Your Life
with GNU Emacs},
publisher = {Network Theory},
year = 2010,
address = {UK},
note = {with contributions by David O'Toole, Bastien Guerry,
Philip Rooke, Dan Davison, Eric Schulte, and Thomas
Dye}
}
@article{Gembicki_1975,
author = {Floyd W. Gembicki and Yacov Y. Haimes},
title = {Approach to performance and sensitivity
multiobjective optimization: The goal attainment
method},
year = 1975,
volume = 20,
number = 6,
month = dec,
pages = {769--771},
issn = {0018-9286},
doi = {10.1109/tac.1975.1101105},
url = {http://dx.doi.org/10.1109/TAC.1975.1101105},
journaltitle = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers
(IEEE)}
}
@article{Kooker:1975:Changes_in_grade_distributions_associated_with_changes_in_class_attendance_policies,
year = 1976,
author = { E. W. Kooker},
title = {Changes in Grade Distributions Associated with Changes in Class
Attendance Policies},
journaltitle = {Psychology: A Journal of Human Behavior},
volume = 13,
pages = {56--57}
}
@article{Ku2010,
doi = {10.1007/s11409-010-9060-6},
url = {https://doi.org/10.1007/s11409-010-9060-6},
year = 2010,
month = jul,
publisher = {Springer Science and Business Media {LLC}},
volume = 5,
number = 3,
pages = {251--267},
author = {Kelly Y. L. Ku and Irene T. Ho},
title = {Metacognitive strategies that enhance critical
thinking},
journaltitle = {Metacognition and Learning}
}
@book{Metcalf_2018_fortran,
author = {Michael Metcalf and John Reid and Malcolm Cohen},
title = {Modern Fortran Explained},
year = 2018,
month = 10,
doi = {10.1093/oso/9780198811893.001.0001},
url = {http://dx.doi.org/10.1093/oso/9780198811893.001.0001},
isbn = 9780198811893,
journal = {Oxford Scholarship Online},
publisher = {Oxford University Press}
}
@article{St_Clair_1999_a_case_agains_compulsory_class_attendance_policies_in_higher_education,
author = {Karen L. St. Clair},
title = {A Case Against Compulsory Class Attendance Policies in Higher Education},
year = 1999,
volume = 23,
number = 3,
pages = {171--180},
issn = {0742-5627},
doi = {10.1023/a:1022942400812},
url = {http://dx.doi.org/10.1023/A:1022942400812},
journaltitle = {Innovative Higher Education},
publisher = {Springer Science and Business Media LLC}
}
@article{VanWormer2008,
doi = {10.1186/1479-5868-5-54},
url = {https://doi.org/10.1186/1479-5868-5-54},
year = 2008,
publisher = {Springer Science and Business Media {LLC}},
volume = 5,
number = 1,
pages = 54,
author = {Jeffrey J. VanWormer and Simone A. French and Mark A.
Pereira and Ericka M. Welsh},
title = {The Impact of Regular Self-weighing on Weight
Management: A Systematic Literature Review},
journaltitle = {International Journal of Behavioral Nutrition and
Physical Activity}
}
@article{adler_factors_1939,
title = {Some Factors Operating at the Moment of Resumption
of Interrupted Tasks},
volume = 7,
issn = {0022-3980},
url = {https://doi.org/10.1080/00223980.1939.9917632},
doi = {10.1080/00223980.1939.9917632},
pages = {255--267},
number = 2,
journaltitle = {The Journal of Psychology},
author = {Dan L. Adler and Jacob S. Kounin},
urldate = {2020-05-17},
date = {1939-04-01}
}
@book{berne:1973:what_do_you_say_after_you_say_hello,
author = {Eric Berne},
title = {What Do You Say After You Say Hello?},
publisher = {Bantam Books},
year = 1973,
address = {New York}
}
@online{chibi-sicp,
author = {Vladimir Nikishkin},
title = {A Full Solution to the Structure and Interpretation of Computer Programs},
url = {https://gitlab.com/Lockywolf/chibi-sicp/},
date = {2020-05-30},
lastaccessed = {2020-05-30}
}
@online{chibi_manual,
author = {Alex Shinn},
title = {{Chibi-Scheme}},
subtitle = {Minimal Scheme Implementation for use as an
Extension Language},
url = {http://synthcode.com/scheme/chibi/},
date = {2018-01-25T11:54:33},
lastaccessed = {2020-05-22}
}
@book{crow2018lognormal,
author = {Edwin L. Crow and Kunio Shimizu},
title = {Lognormal Distributions: Theory and Applications},
year = 2018,
month = 5,
doi = {10.1201/9780203748664},
url = {http://dx.doi.org/10.1201/9780203748664},
isbn = 9780203748664,
publisher = {Routledge}
}
@online{debugging_with_gdb,
author = {Richard Stallman and others},
year = 2020,
title = {Debugging with {GDB}},
edition = 10,
subtitle = {The {GNU} source-level debugger},
isbn = {978-0-9831592-3-0},
url = {https://sourceware.org/gdb/download/onlinedocs/gdb/index.html},
lastaccessed = {Sat Feb 8 14:55:11 UTC 2020}
}
@online{emacs_lisp_manual,
author = {Richard Stallman and others},
year = 2020,
title = {{GNU Emacs Lisp Reference Manual}},
isbn = {1-882114-74-4},
url = {https://www.gnu.org/software/emacs/manual/pdf/elisp.pdf},
lastaccessed = {May 21, 2020}
}
@book{felleisen2018how,
author = {Matthias Felleisen and Robert Bruce Findler and
Matthew Flatt and Shriram Krishnamurthi},
title = {How to Design Programs: an Introduction to
Programming and Computing},
publisher = {The MIT Press},
year = 2018,
address = {Cambridge, Massachusetts},
isbn = {9780-262-53480-2}
}
@techreport{kohlbecker1984eu,
title = {{eu-Prolog}, Reference Manual and Report},
series = {Technical Report},
volume = 155,
author = {Eugene Kohlbecker},
year = 1984,
institution = {University of Indiana (Bloomington), Computer
Science Department},
month = 04
}
@article{hlosta:2018:modelling_student_online_behaviour_in_a_virtual_learning_environment,
title = {Modelling student online behaviour in a virtual learning environment},
author = {Martin Hlosta and Drahomira Herrmannova and Lucie Vachova and Jakub Kuzilek and Zdenek Zdrahal and Annika Wolff},
journaltitle = {arXiv preprint arXiv:1811.06369},
year = 2018
}
@article{mcgregor:1960:theory_x_and_theory_y,
title = {Theory {X} and theory {Y}},
author = {Douglas McGregor},
journaltitle = {Organization theory},
volume = 358,
pages = 374,
year = 1960
}
@book{pender2002uml,
author = {Pender, Thomas},
title = {{UML} Weekend Crash Course},
publisher = {Hungry Minds},
year = 2002,
address = {Indianapolis, IN},
isbn = 9780764549106
}
@online{plantuml_manual,
author = {{PlantUML Developers}},
title = {Drawing {UML} with PlantUML},
subtitle = {{PlantUML} Language Reference Guide},
url = {http://plantuml.com/guide},
date = {2019-09-01},
lastaccessed = {2020-05-22}
}
@online{radul_2011_propagator,
author = {Alexey Radul and Gerald J. Sussman},
title = {Revised Report on the Propagator Model},
url = {http://groups.csail.mit.edu/mac/users/gjs/propagators/},
date = {2011-03-16},
lastaccessed = {2020-05-22}
}
@book{ryan:2017:self_determination_theory,
title = {Self-determination theory: Basic psychological needs in motivation, development, and wellness},
author = {Richard M Ryan and Edward L Deci},
year = 2017,
publisher = {Guilford Publications}
}
@book{shinn2013revised,
title = {Revised\textsuperscript{7} Report on the Algorithmic Language {S}cheme},
editor = {Alex Shinn and John Cowan and Arthur A. Gleckler and others},
year = 2013,
institution = {Scheme Language Steering Committee},
url = {https://small.r7rs.org/},
lastaccessed = {2020-05-22}
}
@article{sicsc,
author = {Matthias Felleisen and Robert Bruce Findler and Matthew
Flatt and Shriram Krishnamurthi},
title = {The Structure and Interpretation of the Computer
Science Curriculum},
journaltitle = {Journal of Functional Programming},
year = 2004,
volume = 14,
pages = {365--378},
month = 07,
doi = {10.1017/S0956796804005076}
}
@artifactsoftware{software_chibi_scheme,
author = {Alex Shinn and others},
title = {{Chibi-Scheme}},
version = {0.8.0},
year = 2019,
url = {http://synthcode.com/scheme/chibi/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_geiser,
author = {Jose A. O. Ruiz and others},
title = {geiser},
version = {0.11.2},
year = 2020,
url = {http://www.nongnu.org/geiser/index.html},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_gnu_emacs,
author = {{Free Software Foundation}},
title = {{GNU Emacs}},
version = {26.1},
year = 2019,
url = {https://www.gnu.org/software/emacs/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_gnu_gdb,
author = {{Free Software Foundation}},
title = {{GNU} Debugger},
version = {9.1},
year = 2020,
url = {https://www.gnu.org/software/gdb/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_graphviz,
author = {John Ellson and others},
title = {Graphviz},
version = {2.40.1},
date = {2016-12-25},
url = {https://graphviz.org},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_jupyter,
title = {Jupyter {N}otebook: a Server-Client Application that
Allows Editing and Running Notebook Documents via a
Web Browser.},
author = {{Project Jupyter Developers}},
organization = {NumFOCUS Foundation},
address = {P.O. Box 90596, Austin, TX 78709},
year = 2019,
url = {https://jupyter.org/}
}
@artifactsoftware{software_mit_scheme,
author = {Taylor Campbell and others},
title = {{MIT/GNU Scheme}},
version = {9.2},
year = 2019,
url = {https://www.gnu.org/software/mit-scheme/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_org_mode,
author = {Carsten Dominik and others},
title = {Org-mode},
version = {9.0},
year = 2019,
url = {https://www.orgmode.org},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_plantuml,
author = {{PlantUML Developers}},
title = {{PlantUML}},
date = {2019-09-01},
url = {http://plantuml.net},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_slackware_linux,
author = {Patric Volkerding and others},
title = {{Slackware\textregistered{} Linux}},
organization = {{Slackware Linux, Inc.}},
version = {14.2-current},
year = 2019,
url = {http://www.slackware.com/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_tex_texlive,
author = {{TeX User Groups}},
title = {{TeX Live}},
version = 2019,
year = 2019,
url = {https://tug.org/texlive/},
lastaccessed = {2020-05-22}
}
@artifactsoftware{software_tex_tikz,
author = {Till Tantau and others},
title = {Portable Graphics Format},
version = {3.1.3},
date = {2019-05-09},
url = {https://github.com/pgf-tikz/pgf},
lastaccessed = {2020-05-22}
}
@online{stallman_emacs_manual,
author = {Richard Stallman and others},
year = 2020,
title = {{GNU Emacs Manual}},
isbn = {978-0-9831592-5-4},
url = {https://www.gnu.org/software/emacs/manual/pdf/emacs.pdf},
lastaccessed = {May 21, 2020}
}
@online{tikz_manual,
url = {https://pgf-tikz.github.io/pgf/pgfmanual.pdf},
title = {{The TikZ and PGF Packages}},
subtitle = {Manual for version 3.1.5b-42-ga7cccca0},
author = {Till Tantau},
date = {2019-05-19},
lastaccesed = {2020-05-22}
}