@TechReport{CDMTCS550,
	author = "H. Jurgensen and L. Staiger", 	 
	title = "Automata for Solid Codes",
	institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
	type = "Report {CDMTCS}-550",
	month = jan, 
	year = 2021,
	url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=792", 
	updated = "BibTex database updated Sat Apr 20 13:05:53 2024 NZST", 
}