@manual{armv7ar,
	label="ARMv7-AR",
	title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
	organization="ARM Limited",
	year=1996
}

@manual{armv7m,
	label="ARMv7-M",
	title="ARMv7-M Architecture Reference Manual",
	organization="ARM Limited",
	year=2006
}

@manual{armv8a,
	label="ARMv8-A",
	title="ARM Architecture Reference Manual. ARMv8, for ARMv8-A architecture profile (Beta)",
	organization="ARM Limited",
	year=2013
}

@Online{clean,
	label="Clean",
	key="Clean",
	organization="Radboud University Nijmegen",
	url="http://clean.cs.ru.nl/",
	year=2004,
	urldate="2016-11-15"
}

@article{lean,
	title="LEAN: an Intermediate Language based on Graph Rewriting",
	author={H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
	journal="Parallel Computing 9",
	year=1988
}

@phdthesis{execspecs,
	title="Functional Programs as Executable Specifications",
	author="P. Koopman",
	school="Radboud University Nijmegen",
	year=1990
}

@mastersthesis{m680x0,
	title="Implementing the ABC-machine on M680x0 based architectures",
	author="J. van Groningen",
	school="Radboud University Nijmegen",
	year=1990
}

@Online{armcg,
	key="ARM CG",
	label="ARM CG",
	title="Clean's ARM code generator",
	subtitle="Revision 295",
	organization="Radboud University Nijmegen",
	url="https://svn.cs.ru.nl/repos/clean-code-generator",
	year=2016,
	urldate="2016-11-15"
}

@Online{armrts,
	key="ARM RTS",
	label="ARM RTS",
	title="Clean's ARM run-time system",
	subtitle="Revision 387",
	organization="Radboud University Nijmegen",
	url="https://svn.cs.ru.nl/repos/clean-run-time-system",
	year=2016,
	urldate="2016-11-15"
}