@TechReport{CDMTCS522,
	author = "D. Britten", 	 
	title = "Formalising Martin-Löf's Theorem Using Coq",
	institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
	type = "Report {CDMTCS}-522",
	month = feb, 
	year = 2018,
	url = "https://cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=679", 
	updated = "BibTex database updated Wed Dec 4 6:40:15 2024 NZST", 
}