Title: A methodology for automated design of computer instruction sets
First published: 1988