literature.bib

@book{ellenberg2014not,
  title={How not to be wrong: The power of mathematical thinking},
  author={Ellenberg, Jordan},
  year={2014},
  publisher={Penguin}
}

@book{merriam2009qualitative,
  title={Qualitative research: A guide to design and implementation},
  author={Merriam, Sharan B},
  year={2009},
  publisher={John Wiley \& Sons}
}
@book{marton2013classroom,
  title={Classroom discourse and the space of learning},
  author={Marton, Ference and Tsui, Amy BM and Chik, Pakey PM and Ko, Po Yuk and Lo, Mun Ling},
  year={2013},
  publisher={Routledge}
}
@misc{criticalThinking,
howpublished={\url{www.criticalthinking.org/pages/defining-critical-thinking/410} viewed September 26, 2013}
}
@misc{piazza,
author={piazza},
howpublished={\url{https://piazza.com/} viewed 2/14/2014}
}
@misc{bridges,
author={bridges},
howpublished={\url{https://www.mathematik.uni-muenchen.de/~jberger/one.pdf} viewed 2/14/2104}
}
@misc{weber,
author={weber},
howpublished={\url{http://www.maa.org/programs/faculty-and-departments/curriculum-department-guidelines-recommendations/teaching-and-learning/research-sampler-8-students-difficulties-with-proof#sthash.SMs7qEx9.dpuf}}
}
@misc{SimSE,
author={SimSE},
howpublished={\url{http://www.ics.uci.edu/~emilyo/SimSE/}}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2014
% % % % % % % % % % % % % % % % % % % % % % % %
@article{bull2014supporting,
title={Supporting Reflective Practice in Software Engineering Education through a Studio-based Approach},
author={Bull, Christopher and Whittle, Jon},
journal={IEEE Software},
pages={1},
year={2014},
publisher={IEEE}
}
@article{chen2011software,
title={Software engineering education: A study on conducting collaborative senior project development},
author={Chen, Chung-Yang and Chong, P Pete},
journal={Journal of Systems and Software},
volume={84},
number={3},
pages={479--491},
year={2011},
publisher={Elsevier}
}
@article{chen2011design,
title={The design and development of a computerized tool for conducting senior projects in software engineering education},
author={Chen, Chung-Yand and Teng, Kao-Chiuan},
journal={Computers \& Education},
volume={56},
number={3},
pages={802--817},
year={2011},
publisher={Elsevier}
}
@article{hainey2011evaluation,
title={Evaluation of a game to each requirements collection and analysis in software education at tertiary level},
author={Hainey, Thomas and Connolly, Thomas M and Stansfield, Mark and Boyle, Elizabeth A},
journal={Computers \& Education},
volume={56},
number={1},
pages={21--35},
year={2011},
publisher={Elsevier}
}
@article{santos2011supporting,
title={Supporting Software Engineering Education through a Learning Objects and Experience Reports Repository},
author={Santos, Rodrigo and Werner Cl{\'a}dis and Costa, Heitor and Vasconcelos, Simone},
journal={23rd SEKE},
pages={272--275},
year={2011},
publisher={}
}
@inproceedings{thota2014programming,
  title={Programming course design: Phenomenographic approach to learning and teaching},
  author={Thota, Neena},
  booktitle={Teaching and Learning in Computing and Engineering (LaTiCE), 2014 International Conference on},
  pages={125--132},
  year={2014},
  organization={IEEE}
}
@article{ardis2011advancing,
title={Advancing Software Engineering Professional Education},
author={Ardis, Mark and Bourque, Pierre and Hilburn, Thomas and Lasfer, Kahina and Lucero, Scott and McDonald, James and Pyster, Art and Shaw, Mary},
journal={IEEE Software},
volume={28},
number={4},
pages={58-63},
year={2011},
publisher={IEEE}
}
@article{pyster2009graduate,
title={Graduate Software Engineering 2009 (GSwE2009) Curriculum Guidelines for Graduate Degree Programs in Software Engineering},
author={Pyster, A},
journal={Integrated Software and Systems Engineering Curriculum (iSSEc) series},
volume={},
number={},
pages={},
year={2009},
publisher={}
}
@misc{GSwE,
author={GSwE},
howpublished={\url{www.gswe2009.org}}
}
@article{bloom1956taxonomy,
title={Taxonomy of educational objectives. Vol. 1: Cognitive domain},
author={Bloom, Benjamin S and others},
journal={New York: McKay},
year={1956}
}

@article{hilburn2013software,
title={Software Assurance Competency Model},
author={Hilburn, Thomas B and Ardis, Mark and Johnson, Glen and Kornecki, Andrew J and Mead, Nancy},
journal={repository.cmu.edu},
year=2013
}
@book{von2013radical,
  title={Radical constructivism},
  author={Von Glasersfeld, Ernst},
  year={2013},
  publisher={Routledge}

}
@inproceedings{ben1998constructivism,
  title={Constructivism in computer science education},
  author={Ben-Ari, Mordechai},
  booktitle={Acm sigcse bulletin},
  volume={30},
  number={1},
  pages={257--261},
  year={1998},
  organization={ACM}
}
@article{lerman2012articulating,
  title={Articulating theories of mathematics learning},
  author={Lerman, Stephen},
  journal={Paul Ernest, Studies in Mathematics Education Series},
  volume={4},
  pages={41--49},
  year={2012}
}
@article{moreno2012balancing,
title={Balancing software engineering education and industrial needs},
author={Moreno, Ana M and Sanchez-Segura, Maria-Isabel and Medina-Dominguez, Fuensanta and Carvajal, Laura},
journal={Journal of Systems and Software},
volume={85},
number={7},
pages={1607--1620},
year={2012},
publisher={Elsevier}
}
@misc{sebokwiki,
title={Graduate Reference Curriculum for Systems Engineering (GRCSE) version 1.0},
author={Art Pyster and David H. Olwell and Timothy L.J. Perris and Nichole Hutchinson and Stephanie Enck and James F. Anthony, Jr. and Devanandham Henry and Alice Squires},
year={2012},
publisher={Stevens Institute of Technology}
}
@article{halverson2014thematic,
author={Halverson, Lisa R and Graham, Charles R and String, Kristian J ad Drysdale, Jeffery S and Henrie, Curtis R},
title={A thematic analysis of the most highly cited scholarship in the first decade of blended learning research},
journal={The Internet and Higher Education},
volume={20},
pages={20--34},
year={2014},
publisher={Elsevier}
}
@article{petersen2008systematic,
author={Petersen, Kai and Feldt, Robert and Mujtaba, Shahid and Mattsson, Michael},
title={Systematic mapping studies in software engineering},
booktitle={12th International Conference on Evalutation and Assessment in Software Engineering},
volume={17},
pages={1},
year={2008}
}
@article{sjoberg2005survey,
title={A survey of controlled experiments in software engineering},
author={Sj{\o}berg, Dag IK and Hannay, Jo Erskine and Hansen, Over and Kampenes, Vigdis By and Karahasanovic, Amela and Liborg, N-K and Rekdal, Anette C},
journal={Software Engineering, IEEE Transactions on},
volume={31},
number={9},
pages={733--753},
year={2005},
pulisher={IEEE}
}
@article{cruzes2011recommend,
title={Recommended steps for thematic synthesis in software engineering},
author={Cruzes, Daniela S and Dyba, Tore},
booktitle={Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on},
pages={275--284},
year={2011},
organization={IEEE}
}
@inproceedings{Weyuker2011empirical,
titie={Empirical soft are engineering research-the good, the bad, the ugly},
author={Weyuker, Elaine J},
booktitle={Empirical Software Engineering and Measurement (ESEM), 2011 International Syposium on},
pages={1--9},
year={2011},
organization={IEEE}
}
@article{cruzes2011research,
title={Research synthesis in software engineering: A tertiary study},
author={Cruzes, Daniela S and Dyb{\aa}, Tore},
journal={Information and Software Technology},
volume={53},
number={5},
pages={440--455},
year={2011},
publisher={Elsevier}
}

% % % % % % % % % % % % % % % % % % % % % % % % %
% 2013
% % % % % % % % % % % % % % % % % % % % % % % %
@article{baldwin2013roles,
  title={The roles of mathematics in computer science},
  author={Baldwin, Douglas and Walker, Henry M and Henderson, Peter B},
  journal={ACM Inroads},
  volume={4},
  number={4},
  pages={74--80},
  year={2013},
  publisher={ACM}
}
@article{bussey2013variation,
  title={Variation theory: A theory of learning and a useful theoretical framework for chemical education research},
  author={Bussey, Thomas J and Orgill, MaryKay and Crippen, Kent J},
  journal={Chemistry Education Research and Practice},
  volume={14},
  number={1},
  pages={9--22},
  year={2013},
  publisher={Royal Society of Chemistry}
}
@article{ginat2013proving,
  title={Proving lower bound},
  author={Ginat, David},
  journal={ACM Inroads},
  volume={4},
  number={1},
  pages={24--25},
  year={2013},
  publisher={ACM}
}
@article{henderson2013marketing,
  title={Marketing math thinking},
  author={Henderson, Peter B},
  journal={ACM Inroads},
  volume={4},
  number={1},
  pages={23--24},
  year={2013},
  publisher={ACM}
}
@article{marton2013meanings,
  title={Meanings are acquired from experiencing differences against a background of sameness, rather than from experiencing sameness against a background of difference: Putting a conjecture to the test by embedding it in a pedagogical tool},
  author={Marton, Ference and Pang, Ming Fai},
  journal={Frontline Learning Research},
  volume={1},
  number={1},
  pages={24--41},
  year={2013}
}
@article{mcgowen2013flexible,
  title={Flexible thinking and met-befores: Impact on learning mathematics},
  author={McGowen, Mercedes A and Tall, David O},
  journal={The Journal of Mathematical Behavior},
  volume={32},
  number={3},
  pages={527--537},
  year={2013},
  publisher={Elsevier}
}
@article{sun2013assessment,
  title={Assessment of Prospective Teachers’ Multiple Proof Construction of a Trapezoid Area Formula},
  author={Sun, Xuhua},
  journal={New Waves-Educational Research \& Development},
  volume={16},
  number={1},
  year={2013}
}

@article{malmi2013doctoral,
  title={Doctoral studies in computing education research: part 1},
  author={Malmi, Lauri},
  journal={ACM Inroads},
  volume={4},
  number={4},
  pages={18--19},
  year={2013},
  publisher={ACM}
}
@article{hellqvist2013students,
  title={Students’ experiences of participation in the disciplines Computer Science, Physics, and Earth Sciences as an aspect of novice students’ identity},
  author={Hellqvist, Magnus and Lindblad, Andreas and Peters, Anne-Kathrin},
  year={2013}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2012
% % % % % % % % % % % % % % % % % % % % % % % %
@article{aakerlind2012variation,
  title={Variation and commonality in phenomenographic research methods},
  author={{\AA}kerlind, Gerlese S},
  journal={Higher Education Research \& Development},
  volume={31},
  number={1},
  pages={115--127},
  year={2012},
  publisher={Taylor \& Francis}
}
@article{boustedt2012students,
  title={Students' different understandings of class diagrams},
  author={Boustedt, Jonas},
  journal={Computer Science Education},
  volume={22},
  number={1},
  pages={29--62},
  year={2012},
  publisher={Taylor \& Francis}
}
@incollection{jones2012proof,
  title={Proof, proving, and teacher-student interaction: Theories and contexts},
  author={Jones, Keith and Herbst, Patricio},
  booktitle={Proof and proving in mathematics education},
  pages={261--277},
  year={2012},
  publisher={Springer}
}
@article{henderson2012mathematical,
  title={Mathematical reasoning at the crossroads},
  author={Henderson, Peter B and Sitaraman, Murali},
  journal={ACM Inroads},
  volume={3},
  number={1},
  pages={30--31},
  year={2012},
  publisher={ACM}
}
@article{herman2012describing,
  title={Describing the what and why of students’ difficulties in Boolean logic},
  author={Herman, Geoffrey L and Loui, Michael C and Kaczmarczyk, Lisa and Zilles, Craig},
  journal={ACM Transactions on Computing Education (TOCE)},
  volume={12},
  number={1},
  pages={3},
  year={2012},
  publisher={ACM}
}
@book{ling2012variation,
  title={Variation theory and the improvement of teaching and learning},
  author={Ling Lo, Mun},
  year={2012},
  publisher={G{\"o}teborg: Acta Universitatis Gothoburgensis}
}

% % % % % % % % % % % % % % % % % % % % % % % % %
% 2011
% % % % % % % % % % % % % % % % % % % % % % % %

@article{bauldryappendix,
  title={Appendix {C}: Projects in Real Analysis},
  author={Bauldry, William C},
  journal={Introduction to Real Analysis: An Educational Approach},
  pages={239--251},
  year=2011,
  publisher={Wiley Online Library}
}
@book{epp2011discrete,
  title={Discrete mathematics with applications},
  author={Epp, Susanna S},
  year={2011},
  publisher={Cengage Learning}
}
@book{rosen2011discrete,
  title={Discrete Mathematics and Its Applications 7th edition},
  author={Rosen, Kenneth},
  year={2011},
  publisher={McGraw-Hill Science}
}
@article{weber2011and,
  title={Why and how mathematicians read proofs: An exploratory study},
  author={Weber, Keith and Mejia-Ramos, Juan Pablo},
  journal={Educational Studies in Mathematics},
  volume={76},
  number={3},
  pages={329--344},
  year={2011},
  publisher={Springer}
}
@article{ling2011towards,
  title={Towards a science of the art of teaching: Using variation theory as a guiding principle of pedagogical design},
  author={Ling, Lo Mun and Marton, Ference},
  journal={International Journal for Lesson and Learning Studies},
  volume={1},
  number={1},
  pages={7--22},
  year={2011},
  publisher={Emerald Group Publishing Limited}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2010
% % % % % % % % % % % % % % % % % % % % % % % %
@article{henderson2010matha,
  title={MATH COUNTS Mathematical reasoning in computing education},
  author={Henderson, Peter B},
  journal={ACM Inroads},
  volume={1},
  number={3},
  pages={22--23},
  year={2010},
  publisher={ACM}
}
@article{henderson2010mathb,
  title={MATH COUNTS Model checking},
  author={Henderson, Peter B},
  journal={ACM Inroads},
  volume={1},
  number={1},
  pages={33--33},
  year={2010},
  publisher={ACM}
}
@article{henderson2010mathc,
  title={Math counts: Arguments, proofs, and...},
  author={Henderson, Peter B},
  journal={ACM SIGCSE Bulletin},
  volume={41},
  number={4},
  pages={21--22},
  year={2010},
  publisher={ACM}
}
@book{huttel2010transitions,
  title={Transitions and Trees: An Introduction to Structural Operational Semantics},
  author={H{\"u}ttel, Hans},
  year={2010},
  publisher={Cambridge University Press}
}
@article{mcgowen2010metaphor,
  title={Metaphor or Met-Before? The effects of previouos experience on practice and theory of learning mathematics},
  author={McGowen, Mercedes A and Tall, David O},
  journal={The Journal of Mathematical Behavior},
  volume={29},
  number={3},
  pages={169--179},
  year={2010},
  publisher={Elsevier}
}
@article{reid2010proof,
  title={Proof in mathematics education},
  author={Reid, David A and Knipping, Christine},
  journal={Research, learning and teaching. Rotterdam: Sense Publisher},
  year={2010}
}
@article{rundgren2010critical,
  title={CRITICAL FEATURES OF VISUALIZATIONS OF TRANSPORT THROUGH THE CELL MEMBRANE -- AN EMPIRICAL STUDY OF UPPER SECONDARY AND TERTIARY STUDENTS' MEANING-MAKING OF A STILL IMAGE AND AN ANIMATION},
  author={Rundgren, Carl-Johan and Tibell, Lena AE},
  journal={International Journal of Science and Mathematics Education},
  volume={8},
  number={2},
  pages={223--246},
  year={2010},
  publisher={Springer}
}
@techreport{thune2010students,
  title={Students' Conceptions of Computer Programming},
  author={Thun{\'e}, Michael and Eckerdal, Anna},
  institution={Uppsala Universitet},
  year={2010}
}
% % % % % % % % % % %
% 2009
% % % % % % % % % % %

% % % % % % % % % % %
% 2008
% % % % % % % % % % %

@book{corbin2008basics,
  title={Basics of qualitative research: Techniques and procedures for developing grounded theory},
  author={Corbin, Juliet and Strauss, Anselm},
  year={2008},
  publisher={Sage}
}
@article{hanna2008proofs,
  title={Proofs as bearers of mathematical knowledge},
  author={Hanna, Gila and Barbeau, Ed},
  journal={ZDM},
  volume={40},
  number={3},
  pages={345--353},
  year={2008},
  publisher={Springer}
} 
@inproceedings{Herman:2008:PIE:1404520.1404527,
 author = {Herman, Geoffrey L. and Kaczmarczyk, Lisa and Loui, Michael C. and Zilles, Craig},
 title = {Proof by Incomplete Enumeration and Other Logical Misconceptions},
 booktitle = {Proceedings of the Fourth International Workshop on Computing Education Research},
 series = {ICER '08},
 year = {2008},
 isbn = {978-1-60558-216-0},
 location = {Sydney, Australia},
 pages = {59--70},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1404520.1404527},
 doi = {10.1145/1404520.1404527},
 acmid = {1404527},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concept inventory, digital logic, discrete math, formal logic, misconceptions},
} 
@article{marcell2008effectiveness,
  title={Effectiveness of regular online quizzing in increasing class participation and preparation},
  author={Marcell, Michael},
  journal={International Journal for the Scholarship of Teaching and Learning},
  volume={2},
  number={1},
  pages={7},
  year={2008}
}
@article{selden2008overcoming,
  title={Overcoming students’ difficulties in learning to understand and construct proofs},
  author={Selden, Annie and Selden, John},
  journal={Making the Connection: Research and Practice in Undergraduate Mathematics},
  pages={95--110},
  year={2008}
}
 @article{weber2008mathematicians,
   title={How mathematicians determine if an argument is a valid proof},
   author={Weber, Keith},
   journal={Journal for Research in Mathematics Education},
   pages={431--459},
   year={2008},
   publisher={JSTOR}
 }

% % % % % % % % % % % % % % % % % % % % % % % % %
% 2007
% % % % % % % % % % % % % % % % % % % % % % % %
@article{booth1997phenomenography,
  title={On phenomenography, learning and teaching},
  author={Booth, Shirley},
  journal={Higher education research \& development},
  volume={16},
  number={2},
  pages={135--158},
  year={1997},
  publisher={Taylor \& Francis}
}
@article{dahlin2007enriching,
  title={Enriching the theoretical horizons of phenomenography, variation theory and learning studies},
  author={Dahlin, Bo},
  journal={Scandinavian Journal of Educational Research},
  volume={51},
  number={4},
  pages={327--346},
  year={2007},
  publisher={Taylor \& Francis}
}

@inproceedings{suhonen2007applications,
  title={Applications of variation theory in computing education},
  author={Suhonen, Jarkko and Davies, Janet and Thompson, Errol and others},
  booktitle={Proc. of the Seventh Baltic Sea Conference on Computing Education Research-Volume 88},
  pages={217--220},
  year={2007},
  organization={Australian Computer Society, Inc.}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2006
% % % % % % % % % % % % % % % % % % % % % % % %
@article{marton2006some,
  title={On some necessary conditions of learning},
  author={Marton, Ference and Pang, Ming Fai},
  journal={The Journal of the Learning sciences},
  volume={15},
  number={2},
  pages={193--220},
  year={2006},
  publisher={Taylor \& Francis}
}

% % % % % % % % % % % % % % % % % % % % % % % % %
% 2005
% % % % % % % % % % % % % % % % % % % % % % % %
@article{akerlind2005learninga,
  title={Learning about phenomenography: Interviewing, data analysis and the qualitative research paradigm},
  author={Akerlind, Gerlese},
  journal={Doing developmental phenomenography},
  pages={63},
  year={2005},
  publisher={RMIT University Press}
}

@article{akerlind2005phenomenographic,
  title={Phenomenographic methods: A case illustration},
  author={Akerlind, Gerlese},
  journal={Doing developmental phenomenography},
  pages={103},
  year={2005},
  publisher={RMIT University Press}
}
@article{akerlind2005learningd,
  title={Learning to do phenomenography: A reflective discussion},
  author={Akerlind, Gerlese and Bowden, John A and Green, Pam},
  journal={Doing developmental phenomenography},
  pages={74},
  year={2005},
  publisher={RMIT University Press}
}
@inproceedings{eckerdal2005novice,
  title={Novice {J}ava programmers' conceptions of object and class, and variation theory},
  author={Eckerdal, Anna and Thun{\'e}, Michael},
  booktitle={ACM SIGCSE Bulletin},
  volume={37},
  number={3},
  pages={89--93},
  year={2005},
  organization={ACM}
}
@inproceedings{eckerdal2005does,
  title={What does it take to learn 'programming thinking'?},
  author={Eckerdal, Anna and Thun{\'e}, Michael and Berglund, Anders},
  booktitle={Proc. of the first international workshop on Computing education research},
  pages={135--142},
  year={2005},
  organization={ACM}
}

@article{runesson2005beyond,
  title={Beyond discourse and interaction. Variation: a critical aspect for teaching and learning mathematics},
  author={Runesson, Ulla},
  journal={Cambridge journal of education},
  volume={35},
  number={1},
  pages={69--87},
  year={2005},
  publisher={Taylor \& Francis}
}
@article{weber2005problem,
  title={Problem-solving, proving, and learning: The relationship between problem-solving processes and learning opportunities in the activity of proof construction},
  author={Weber, Keith},
  journal={The Journal of Mathematical Behavior},
  volume={24},
  number={3},
  pages={351--360},
  year={2005},
  publisher={Elsevier}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2004
% % % % % % % % % % % % % % % % % % % % % % % %
@book{bowden2004university,
  title={The university of learning},
  author={Bowden, John and Marton, Ference},
  year={2004},
  publisher={Psychology Press}
}
@article{weber2004semantic,
  title={Semantic and syntactic proof productions},
  author={Weber, Keith and Alcock, Lara},
  journal={Educational Studies in Mathematics},
  volume={56},
  number={2-3},
  pages={209--234},
  year={2004},
  publisher={Springer}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2003
% % % % % % % % % % % % % % % % % % % % % % % %
@article{dixon200320,
  title={20 Studies That Revolutionized Child Psychology.},
  author={Dixon, WE},
  journal={Journal of Abnormal and Social Psychology},
  volume={63},
  pages={375--382},
  year={2003}
}
@phdthesis{fagen2003assessing,
  title={Assessing and enhancing the introductory science course in physics and biology: Peer instruction, classroom demonstrations, and genetics vocabulary},
  author={Fagen, Adam Paul},
  year={2003},
  school={Harvard University Cambridge, Massachusetts}
}

@article{selden2003validations,
  title={Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem?},
  author={Selden, Annie and Selden, John},
  journal={Journal for research in mathematics education},
  pages={4--36},
  year={2003},
  publisher={JSTOR}
}
@article{weber2003students,
  title={Students’ difficulties with proof},
  author={Weber, Keith},
  journal={Retrieved September},
  volume={14},
  pages={2005},
  year={2003}
}
@article{weber2003research,
  title={Research Sampler 8: students’ difficulties with proof},
  author={Weber, Keith},
  journal={The Mathematical Association of America: Online. Mathematical Association of America. Retrieved on October},
  volume={1},
  pages={2009},
  year={2003},
  url={\url{http://www.maa.org/programs/faculty-and-departments/curriculum-department-guidelines-recommendations/teaching-and-learning/research-sampler-8-students-difficulties-with-proof }}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2002
% % % % % % % % % % % % % % % % % % % % % % % %
@article{alcock2002definitions,
  title={Definitions: dealing with categories mathematically.},
  author={Alcock, Lara and Simpson, AP},
  journal={For the learning of mathematics.},
  volume={22},
  number={2},
  pages={28--34},
  year={2002},
  publisher={FLM}
}
@inproceedings{knuth2002mapping,
  title={Mapping the conceptual terrain of middle school students’ competencies in justifying and proving},
  author={Knuth, Eric J and Choppin, J and Slaughter, M and Sutherland, Jamie},
  booktitle={Proceedings of the 24th annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education},
  volume={4},
  pages={1693--1670},
  year={2002},
  organization={Clearinghouse for Science, Mathematics, and Environmental Education Athens, GA}
}
@book{krantz2002handbook,
  title={Handbook of logic and proof techniques for computer science},
  author={Krantz, Steven George},
  year={2002},
  publisher={Springer}
}
@article{raman2002coordinating,
  title={Coordinating informal and formal aspects of mathematics: Student behavior and textbook messages},
  author={Raman, Manya},
  journal={The Journal of Mathematical Behavior},
  volume={21},
  number={2},
  pages={135--150},
  year={2002},
  publisher={Elsevier}
}
@article{reid2002students,
  title={Students' conceptions of statistics: A phenomenographic study},
  author={Reid, Anna and Petocz, Peter},
  journal={Journal of Statistics Education},
  volume={10},
  number={2},
  pages={1--28},
  year={2002}
}
@article{weber2002beyond,
  title={Beyond proving and explaining: Proofs that justify the use of definitions and axiomatic structures and proofs that illustrate technique},
  author={Weber, Keith},
  journal={For the Learning of Mathematics},
  pages={14--17},
  year={2002},
  publisher={JSTOR}
}
@inproceedings{weber2002role,
  title={The role of instrumental and relational understanding in proofs about group isomorphisms},
  author={Weber, Keith},
  booktitle={Proceedings from the 2nd International Conference for the Teaching of Mathematics},
  year={2002}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2001
% % % % % % % % % % % % % % % % % % % % % % % %
@article{booth2001learning,
  title={Learning computer science and engineering in context},
  author={Booth, Shirley},
  journal={Computer Science Education},
  volume={11},
  number={3},
  pages={169--188},
  year={2001},
  publisher={Taylor \& Francis}
}
@article{recio2001institutional,
  title={Institutional and personal meanings of mathematical proof},
  author={Recio, Angel M and Godino, Juan D},
  journal={Educational Studies in Mathematics},
  volume={48},
  number={1},
  pages={83--99},
  year={2001},
  publisher={Springer}
}
@article{weber2001student,
  title={Student difficulty in constructing proofs: The need for strategic knowledge},
  author={Weber, Keith},
  journal={Educational Studies in Mathematics},
  volume={48},
  number={1},
  pages={101--119},
  year={2001},
  publisher={Springer}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 2000
% % % % % % % % % % % % % % % % % % % % % % % %
@article{bowden2000phenomenography,
  title={Phenomenography},
  author={Bowden, John A and Walsh, Eleanor},
  journal={Phenomenography},
  pages={v},
  year={2000},
  publisher={RMIT University Press}
}
@article{bowden2000nature,
  title={The nature of phenomenographic research},
  author={Bowden, John A},
  journal={Phenomenography},
  pages={1--18},
  year={2000}
}
@article{hanna2000proof,
  title={Proof, explanation and exploration: An overview},
  author={Hanna, Gila},
  journal={Educational studies in mathematics},
  volume={44},
  number={1-2},
  pages={5--23},
  year={2000},
  publisher={Springer}
}
@book{national2000principles,
  title={Principles and standards for school mathematics},
  author={National Council of Teachers of Mathematics},
  volume={1},
  year={2000},
  publisher={Natl Council of Teachers of}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1999
% % % % % % % % % % % % % % % % % % % % % % % %
@book{brooks1999search,
  title={In search of understanding: The case for constructivist classrooms},
  author={Brooks, Jacqueline Grennon and Brooks, Martin G},
  year={1999},
  publisher={ASCD}
}
@article{dreyfus1999johnny,
  title={Why Johnny can't prove},
  author={Dreyfus, Tommy},
  journal={Educational studies in mathematics},
  volume={38},
  number={1-3},
  pages={85--109},
  year={1999},
  publisher={Springer}
}
@article{mahavier1999moore,
  title={What is the Moore method?},
  author={Mahavier, William S},
  journal={Problems, Resources, and Issues in Mathematics Undergraduate Studies},
  volume={9},
  number={4},
  pages={339--354},
  year={1999},
  publisher={Taylor \& Francis}
}
@inproceedings{pinto1999student,
  title={Student constructions of formal theory: giving and extracting meaning},
  author={Pinto, M{\'a}rcia Maria Fusaro and Tall, David and Zaslavsky, O},
  booktitle={Proceedings of the Conference of the International Group for},
  volume={100},
  pages={1230},
  year={1999},
  organization={ERIC}
}
@book{wenger1999communities,
  title={Communities of practice: Learning, meaning, and identity},
  author={Wenger, Etienne},
  year={1999},
  publisher={Cambridge university press}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1998
% % % % % % % % % % % % % % % % % % % % % % % %
@book{davis1998mathematical,
  title={The mathematical experience},
  author={Davis, Philip J and Hersh, Reuben},
  year={1998},
  publisher={Houghton Mifflin Harcourt}
}
@article{harel1998two,
  title={Two dual assertions: The first on learning and the second on teaching (or vice versa)},
  author={Harel, Guershon},
  journal={American Mathematical Monthly},
  pages={497--507},
  year={1998},
  publisher={JSTOR}
}
@article{harel1998students,
  title={Students’ proof schemes: Results from exploratory studies},
  author={Harel, Guershon and Sowder, Larry},
  journal={Research in collegiate mathematics education III},
  volume={7},
  pages={234--282},
  year={1998}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1997
% % % % % % % % % % % % % % % % % % % % % % % %

@article{martzloff1997note,
  title={Note on the Recent Chinese and Mongolian Translations of Euclid's< i> Elements</i>},
  author={Martzloff, Jean-Claude},
  journal={Historia Mathematica},
  volume={24},
  number={2},
  pages={200--202},
  year={1997},
  publisher={Elsevier}
}
@book{strauss1997grounded,
  title={Grounded theory in practice},
  author={Strauss, Anselm and Corbin, Juliet M},
  year={1997},
  publisher={Sage}
}

@article{wyndhamn1997word,
  title={Word problems and mathematical reasoning—A study of children's mastery of reference and meaning in textual realities},
  author={Wyndhamn, Jan and S{\"a}lj{\"o}, Roger},
  journal={Learning and Instruction},
  volume={7},
  number={4},
  pages={361--382},
  year={1997},
  publisher={Elsevier}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1996
% % % % % % % % % % % % % % % % % % % % % % % %
@incollection{hanna1996proof,
  title={Proof and proving},
  author={Hanna, Gila and Jahnke, H Niels},
  booktitle={International handbook of mathematics education},
  pages={877--908},
  year={1996},
  publisher={Springer}
}
@article{yackel1996sociomathematical,
  title={Sociomathematical norms, argumentation, and autonomy in mathematics},
  author={Yackel, Erna and Cobb, Paul},
  journal={Journal for research in mathematics education},
  pages={458--477},
  year={1996},
  publisher={JSTOR}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1995
% % % % % % % % % % % % % % % % % % % % % % % %
@article{ernest1995one,
  title={The one and the many},
  author={Ernest, Paul},
  journal={Constructivism in education},
  pages={459--486},
  year={1995}
}
@article{ernest1994constructivism,
  title={Constructivism: Which Form Provides the Most Adequate Theory of Mathematics Learning?},
  author={Ernest, Paul},
  journal={Journal f{\"u}r Mathematik-Didaktik},
  volume={15},
  number={3-4},
  pages={327--342},
  year={1994},
  publisher={Springer},
  annote={looks really good, is not free}
}
@book{ernest1994constructing,
  title={Constructing mathematical knowledge: Epistemology and mathematics education},
  author={Ernest, Paul},
  volume={4},
  year={1994},
  publisher={Taylor \& Francis}
}
@article{selden1995unpacking,
  title={Unpacking the logic of mathematical statements},
  author={Selden, John and Selden, Annie},
  journal={Educational Studies in Mathematics},
  volume={29},
  number={2},
  pages={123--151},
  year={1995},
  publisher={Springer}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1994
% % % % % % % % % % % % % % % % % % % % % % % %
@article{moore1994making,
  title={Making the transition to formal proof},
  author={Moore, Robert C},
  journal={Educational Studies in Mathematics},
  volume={27},
  number={3},
  pages={249--266},
  year={1994},
  publisher={Springer}
}
@article{schoenfeld1994we,
  title={What do we know about mathematics curricula?},
  author={Schoenfeld, Alan H},
  journal={The Journal of Mathematical Behavior},
  volume={13},
  number={1},
  pages={55--80},
  year={1994},
  publisher={JAI}
}
@article{thompson1994students,
  title={Students, functions, and the undergraduate curriculum},
  author={Thompson, Patrick W},
  journal={Research in collegiate mathematics education},
  volume={1},
  pages={21--44},
  year={1994}
}
@article{thurston1994proof,
  title={On proof and progress in mathematics},
  author={Thurston, William P},
  journal={arXiv preprint math/9404236},
  year={1994}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1993
% % % % % % % % % % % % % % % % % % % % % % % %
@article{hersh1993proving,
  title={Proving is convincing and explaining},
  author={Hersh, Reuben},
  journal={Educational Studies in Mathematics},
  volume={24},
  number={4},
  pages={389--399},
  year={1993},
  publisher={Springer}
}
@misc{marton1994phenomenography,
  title={Phenomenography. I T. Hus{\'e}n \& NT Postlethwaite (Red.) International encyclopedia of education, 8 vols (s. 4424-4429)},
  author={Marton, Ference},
  year={1994},
  publisher={Oxford: Pergamon Press}
}
@article{ramsden1993theories,
  title={Theories of learning and teaching and the practice of excellence in higher education},
  author={Ramsden, Paul},
  journal={Higher Education Research and Development},
  volume={12},
  number={1},
  pages={87--97},
  year={1993},
  publisher={Taylor \& Francis}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1992
% % % % % % % % % % % % % % % % % % % % % % % %
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1991
% % % % % % % % % % % % % % % % % % % % % % % %
@incollection{alibert1991research,
  title={Research on mathematical proof},
  author={Alibert, Daniel and Thomas, Michael},
  booktitle={Advanced mathematical thinking},
  pages={215--230},
  year={1991},
  publisher={Springer}
}
@article{hanna1991mathematical,
  title={Mathematical proof},
  author={Hanna, Gila},
  journal={Advanced mathematical thinking},
  pages={54--61},
  year={1991},
  publisher={Springer}
}
@article{marty1991getting,
  title={Getting to Eureka!: Higher Order Reasoning in Math},
  author={Marty, Roger H},
  journal={College Teaching},
  volume={39},
  number={1},
  pages={3--6},
  year={1991},
  publisher={Taylor \& Francis}
}
@incollection{tall1991psychology,
  title={The psychology of advanced mathematical thinking},
  author={Tall, David},
  booktitle={Advanced mathematical thinking},
  pages={3--21},
  year={1991},
  publisher={Springer}
}
@article{teppo1991van,
  title={Van Hiele levels of geometric thought revisited},
  author={Teppo, Anne},
  journal={The Mathematics Teacher},
  pages={210--221},
  year={1991},
  publisher={JSTOR}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1990
% % % % % % % % % % % % % % % % % % % % % % % %
@article{hanna1990some,
  title={Some pedagogical aspects of proof},
  author={Hanna, Gila},
  journal={Interchange},
  volume={21},
  number={1},
  pages={6--13},
  year={1990},
  publisher={Springer}
}
@article{senk1989van,
  title={Van Hiele levels and achievement in writing geometry proofs},
  author={Senk, Sharon L},
  journal={Journal for Research in Mathematics Education},
  pages={309--321},
  year={1989},
  publisher={JSTOR}
}
@article{volmink1990nature,
  title={The nature and role of proof in mathematics education},
  author={Volmink, JD},
  journal={Pythagoras},
  volume={23},
  pages={7--10},
  year={1990}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1989
% % % % % % % % % % % % % % % % % % % % % % % %
@article{tall1989nature,
  title={The nature of mathematical proof},
  author={Tall, David},
  journal={Mathematics Teaching},
  volume={127},
  pages={28--32},
  year={1989}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1988
% % % % % % % % % % % % % % % % % % % % % % % %
@article{alibert1988towards,
  title={Towards new customs in the classroom},
  author={Alibert, Daniel},
  journal={For the learning of mathematics},
  volume={8},
  number={2},
  pages={31--35},
  year={1988},
  publisher={ERIC}
}
@book{franklin1988introduction,
  title={Introduction to proofs in mathematics},
  author={Franklin, James and Daoud, Albert and Daoud, Albert Tatar and Franklin, James},
  year={1988},
  publisher={Prentice Hall Sydney}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1987
% % % % % % % % % % % % % % % % % % % % % % % %
@article{balacheff1987processus,
  title={Processus de preuve et situations de validation},
  author={Balacheff, Nicolas},
  journal={Educational studies in mathematics},
  volume={18},
  number={2},
  pages={147--176},
  year={1987},
  publisher={Springer}
}
@inproceedings{von1987learning,
  title={Learning as a constructive activity},
  author={Von Glasersfeld, Ernst},
  booktitle={In C. Janvier (Ed.), Problems of representation in the},
  year={1987},
  organization={Citeseer}
}
@article{vygotsky1987zone,
title={Zone of Proximal Development},
author={Vygotsky, L.},
journal={Mind in society: The development of higher psychological processes},
pages={52--91},
year={1987}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1986
% % % % % % % % % % % % % % % % % % % % % % % %
@article{horner1986teaching,
  title={Teaching Generalized Table Bussing The Importance of Negative Teaching Examples},
  author={Horner, Robert H and Eberhard, Janet M and Sheehan, Martin R},
  journal={Behavior modification},
  volume={10},
  number={4},
  pages={457--471},
  year={1986},
  publisher={Sage Publications}
}
@article{marton1986phenomenography,
  title={Phenomenography: A research approach to investigating different understandings of reality},
  author={Marton, Ference},
  journal={Journal of thought},
  volume={21},
  number={3},
  pages={28--49},
  year={1986},
  publisher={San Fracisco}
}
@article{marty1986teaching,
  title={Teaching proof techniques},
  author={Marty, Roger H},
  journal={Mathematics in College},
  pages={46--53},
  year={1986},
  publisher={Instructional Resource Center, City University of New York}
}

% % % % % % % % % % % % % % % % % % % % % % % % %
% 1985
% % % % % % % % % % % % % % % % % % % % % % % %
@article{senk1985well,
  title={How well do students write geometry proofs?},
  author={Senk, Sharon L},
  journal={The mathematics teacher},
  pages={448--456},
  year={1985},
  publisher={JSTOR}
}
@inproceedings{svensson1985contextual,
  title={Contextual analysis--the development of a research approach},
  author={Svensson, Lennart},
  booktitle={2nd conference on qualitative research in psychology, Leusden, The Netherlands},
  pages={12--15},
  year={1985}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1984
% % % % % % % % % % % % % % % % % % % % % % % %
@book{marton1984experience,
  title={The experience of learning},
  author={Marton, Ference and Hounsell, Dai and Entwistle, Noel James and others},
  year={1984},
  publisher={Scottish Academic Press Edinburgh}
}
@book{svensson1984three,
  title={Three approaches to descriptive research},
  author={Svensson, Lennart},
  year={1984},
  publisher={ERIC Clearinghouse}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1982
% % % % % % % % % % % % % % % % % % % % % % % %
@article{mason1982thinking,
  title={Thinking mathematically},
  author={Mason, John and Burton, Leone and Stacey, Kaye},
  journal={AMC},
  volume={10},
  pages={12},
  year={1982}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1981
% % % % % % % % % % % % % % % % % % % % % % % %

@article{marton1981phenomenography,
  title={Phenomenography—describing conceptions of the world around us},
  author={Marton, Ference},
  journal={Instructional science},
  volume={10},
  number={2},
  pages={177--200},
  year={1981},
  publisher={Springer}
}
@article{renz1981mathematical,
  title={Mathematical proof: What it is and what it ought to be},
  author={Renz, Peter},
  journal={Two-Year College Mathematics Journal},
  pages={83--103},
  year={1981},
  publisher={JSTOR}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1979
% % % % % % % % % % % % % % % % % % % % % % % %
@article{marton1979conceptions,
  title={Conceptions of research in student learning},
  author={Marton, Ference and Svensson, Lennart},
  journal={Higher Education},
  volume={8},
  number={4},
  pages={471--486},
  year={1979},
  publisher={Springer}
}
@book{saljo1979learning,
  title={Learning in the learner's perspective. {I}. Some common-sense conceptions},
  author={ S{\"a}lj{\"o}, Roger},
  year={1979},
  publisher={ERIC Clearinghouse}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1978
% % % % % % % % % % % % % % % % % % % % % % % %
@article{vygotsky1978mind,
  title={Mind in society (M. Cole, V. John-Steiner, S. Scribner, \& E. Souberman, Eds.)},
  author={Vygotsky, Lev S},
  journal={Cambridge, MA: Harvard UniversityPress. VygotskyMind in society1978},
  year={1978}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1977
% % % % % % % % % % % % % % % % % % % % % % % %
@article{jones1977moore,
  title={The Moore method},
  author={Jones, F Burton},
  journal={American Mathematical Monthly},
  pages={273--278},
  year={1977},
  publisher={JSTOR}
}
@article{manin2009course,
  title={A course in mathematical logic for mathematicians},
  author={Manin, Yu I},
  journal={New York},
  year={2009}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1976
% % % % % % % % % % % % % % % % % % % % % % % %
@article{marton1976qualitative,
  title={On Qualitative Differences in Learning: I—Outcome and process*},
  author={Marton, Ference and S{\"a}lj{\"o}, Roger},
  journal={British journal of educational psychology},
  volume={46},
  number={1},
  pages={4--11},
  year={1976},
  publisher={Wiley Online Library}
}
@article{marton1976aqualitative,
  title={ON QUALITATIVE DIFFERENCES IN LEARNING -- {II} {O}UTCOME AS A FUNCTION OF THE LEARNER'S CONCEPTION OF THE TASK},
  author={Marton, Ference and S{\"a}lj{\"o}, R},
  journal={British Journal of Educational Psychology},
  volume={46},
  number={2},
  pages={115--127},
  year={1976},
  publisher={Wiley Online Library}
}
@book{svensson1976study,
  title={Study skill and learning},
  author={Svensson, Lennart},
  year={1976}
}
 % % % % % % % % % % % % % % % % % % % % % % % % %
 % 1972
 % % % % % % % % % % % % % % % % % % % % % % % %
@article{bausell1972factorial,
  title={A factorial study of tutoring versus classroom instruction},
  author={Bausell, R Barker and Moody, William B and Walzl, F Neil},
  journal={American Educational Research Journal},
  pages={591--597},
  year={1972},
  publisher={JSTOR}
}

@book{newell1972human,
  title={Human problem solving},
  author={Newell, Allen and Simon, Herbert Alexander and others},
  volume={104},
  number={9},
  year={1972},
  publisher={Prentice-Hall Englewood Cliffs, NJ}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1970
% % % % % % % % % % % % % % % % % % % % % % % %
@article{smedslund1970circular,
  title={Circular relation between understanding and logic},
  author={Smedslund, Jan},
  journal={Scandinavian Journal of Psychology},
  volume={11},
  number={1},
  pages={217--219},
  year={1970},
  publisher={Wiley Online Library}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1967
% % % % % % % % % % % % % % % % % % % % % % % %
@article{glaser1968discovery,
  title={The Discovery of Grounded Theory; Strategies for Qualitative Research.},
  author={Glaser, Barney G and Strauss, Anselm L and Strutzel, Elizabeth},
  journal={Nursing Research},
  volume={17},
  number={4},
  pages={364},
  year={1968},
  publisher={LWW}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1958
% % % % % % % % % % % % % % % % % % % % % % % %
@book{carnap1958introduction,
  title={Introduction to symbolic logic and its applications},
  author={Carnap, Rudolf},
  year={1958},
  publisher={Dover Books}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1952
% % % % % % % % % % % % % % % % % % % % % % % %
@book{piaget1952origins,
  title={The origins of intelligence in children},
  author={Piaget, Jean and Cook, Margaret and Norton, WW},
  volume={8},
  number={5},
  year={1952},
  publisher={International Universities Press New York}
}
% % % % % % % % % % % % % % % % % % % % % % % % %
% 1938
% % % % % % % % % % % % % % % % % % % % % % % %
@article{lewin1938will,
  title={Will and needs.},
  author={Lewin, Kurt},
  year={1938},
  publisher={Kegan Paul, Trench, Trubner \& Company}
}