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

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

@misc{clean,
	title="Clean",
	organization="Radboud University Nijmegen",
	howpublished="\url{http://clean.cs.ru.nl/}",
	year=2004
}

@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
}