@inbook{mcbride-2002-elimination, title={Elimination with a Motive}, ISBN={9783540458425}, ISSN={0302-9743}, url={http://dx.doi.org/10.1007/3-540-45842-5_13}, DOI={10.1007/3-540-45842-5_13}, booktitle={Types for Proofs and Programs}, publisher={Springer Berlin Heidelberg}, author={McBride, Conor}, year={2002}, pages={197–216} }