@misc{moore1965cramming,

  title={Cramming more components onto integrated circuits},

  author={Moore, Gordon E and others},

  year={1965},

  publisher={McGraw-Hill New York, NY, USA}

}

@article{sutter2005free,

  title={The free lunch is over: A fundamental turn toward concurrency in software},

  author={Sutter, Herb},

  journal={Dr. Dobb’s Journal},

  volume={30},

  number={3},

  pages={202--210},

  year={2005}

}

@article{sutter2005software,

  title={Software and the concurrency revolution},

  author={Sutter, Herb and Larus, James},

  journal={Queue},

  volume={3},

  number={7},

  pages={54--62},

  year={2005},

  publisher={ACM}

}

@inproceedings{luebke2006gpgpu,

  title={GPGPU: general-purpose computation on graphics hardware},

  author={Luebke, David and Harris, Mark and Govindaraju, Naga and Lefohn, Aaron and Houston, Mike and Owens, John and Segal, Mark and Papakipos, Matthew and Buck, Ian},

  booktitle={Proceedings of the 2006 ACM/IEEE conference on Supercomputing},

  pages={208},

  year={2006},

  organization={ACM}

}

@book{burge1975recursive,

  title={Recursive programming techniques},

  author={Burge, William H},

  year={1975},

  publisher={Addison-Wesley Reading}

}

@book{paulson1994isabelle,

  title={Isabelle: A generic theorem prover},

  author={Paulson, Lawrence C},

  volume={828},

  year={1994},

  publisher={Springer}

}

@phdthesis{neuper2001reactive,

  title={Reactive user-guidance by an autonomous engine doing high-school math},

  author={Neuper, Walther A},

  year={2001},

  school={PhD thesis, IICM-Inst. f. Softwaretechnology, Technical University, A-8010 Graz, 2001. ftp://ftp. ist. tugraz. at/pub/projects/isac/publ/wn-diss. ps. gz}

}