s1210629013@55404: @misc{moore1965cramming,
s1210629013@55404:   title={Cramming more components onto integrated circuits},
s1210629013@55404:   author={Moore, Gordon E and others},
s1210629013@55404:   year={1965},
s1210629013@55404:   publisher={McGraw-Hill New York, NY, USA}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @article{sutter2005free,
s1210629013@55404:   title={The free lunch is over: A fundamental turn toward concurrency in software},
s1210629013@55404:   author={Sutter, Herb},
s1210629013@55404:   journal={Dr. Dobb’s Journal},
s1210629013@55404:   volume={30},
s1210629013@55404:   number={3},
s1210629013@55404:   pages={202--210},
s1210629013@55404:   year={2005}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @article{sutter2005software,
s1210629013@55404:   title={Software and the concurrency revolution},
s1210629013@55404:   author={Sutter, Herb and Larus, James},
s1210629013@55404:   journal={Queue},
s1210629013@55404:   volume={3},
s1210629013@55404:   number={7},
s1210629013@55404:   pages={54--62},
s1210629013@55404:   year={2005},
s1210629013@55404:   publisher={ACM}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @inproceedings{luebke2006gpgpu,
s1210629013@55404:   title={GPGPU: general-purpose computation on graphics hardware},
s1210629013@55404:   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},
s1210629013@55404:   booktitle={Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
s1210629013@55404:   pages={208},
s1210629013@55404:   year={2006},
s1210629013@55404:   organization={ACM}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @book{burge1975recursive,
s1210629013@55404:   title={Recursive programming techniques},
s1210629013@55404:   author={Burge, William H},
s1210629013@55404:   year={1975},
s1210629013@55404:   publisher={Addison-Wesley Reading}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @book{paulson1994isabelle,
s1210629013@55404:   title={Isabelle: A generic theorem prover},
s1210629013@55404:   author={Paulson, Lawrence C},
s1210629013@55404:   volume={828},
s1210629013@55404:   year={1994},
s1210629013@55404:   publisher={Springer}
s1210629013@55404: }
s1210629013@55404: 
s1210629013@55404: @phdthesis{neuper2001reactive,
s1210629013@55404:   title={Reactive user-guidance by an autonomous engine doing high-school math},
s1210629013@55404:   author={Neuper, Walther A},
s1210629013@55404:   year={2001},
s1210629013@55404:   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}
s1210629013@55404: }