David Carter: An Open Source ARM 4 Implementation. Int. CMG Conference 2007: 499-502