J. P. Bennett. A methodology for automated design of computer instruction sets. PhD thesis, University of Cambridge, UK, 1987. [doi]
@phdthesis{ethos-8812, title = {A methodology for automated design of computer instruction sets}, author = {J. P. Bennett}, year = {1987}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.232796}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-8812}, cites = {0}, citedby = {0}, school = {University of Cambridge, UK}, }