%    Predefined journal names:
%  acmcs: Computing Surveys		acta: Acta Infomatica
%  cacm: Communications of the ACM
%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
%  ieeese: IEEE Trans. on Soft. Eng.	ieeetc: IEEE Trans. on Computers
%  ieeetcad: IEEE Trans. on Computer-Aided Design of Integrated Circuits
%  ipl: Information Processing Letters	jacm: Journal of the ACM
%  jcss: J. Computer & System Sciences	scp: Science of Comp. Programming
%  sicomp: SIAM J. on Computing		tocs: ACM Trans. on Comp. Systems
%  tods: ACM Trans. on Database Sys.	tog: ACM Trans. on Graphics
%  toms: ACM Trans. on Math. Software	toois: ACM Trans. on Office Info. Sys.
%  toplas: ACM Trans. on Prog. Lang. & Sys.
%  tcs: Theoretical Computer Science
@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
@string{ieeese="IEEE Transactions on Software Engineering"}
@string{spe="Software---\-Practice and Experience"}
@string{sigplan="SIGPLAN Notices"}
@string{joop="Journal of Object-Oriented Programming"}
@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
@string{osr="Operating Systems Review"}
@string{pldi="Programming Language Design and Implementation"}


@mastersthesis{Bilson:CFA,
    keywords    	= {Cforall, Overloading, Polymorphism},
    author  	= {Richard C. Bilson},
    title   	= {Implementing Overloading and Polymorphism in Cforall},
    school 		= "University of Waterloo",
    year 		= "2003"
}

@article{HPP:Study,
	keywords 	= {Parallel, Productivity},
	author 	= {Lorin Hochstein and Jeff Carver and Forrest Shull and Sima Asgari and Victor Basili and Jeffrey K. Hollingsworth and Marvin V. Zelkowitz },
	title 	= {Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers},
}
@article{CFA:Refrat,
    keywords	= {Cforall, refrat},
    author		= {Glen Ditchfield},
    title		= {Cforall Reference Manual and Rationale},
    month		= jan,
    year		= 2003
}

@article{Chicken,
	keywords	= {Chicken},
	author	= {Doug Zongker},
	title		= {Chicken Chicken Chicken: Chicken Chicken},
	year		= 2006
}

@article{Myths,
	author 	= {Peter A. Buhr and Ashif S. Harji},
	title 	= {Concurrent Urban Legends},
	year 		= 2005
}

@article{uCPP:Book,
    keywords    	= {uC++, manual, book},
    author  	= {Peter A. Buhr},
    title   	= {Understanding Control Flow with Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    month   	= aug,
    year    	= 2014
}

@techreport{ISO:Ada,
    type 		= {International Standard},
    key 		= {ISO/IEC 8652:1995},
    year 		= {1995},
    title 		= {Ada},
    volume 		= {1995},
    institution 	= {International Organization for Standardization}
}