Title: Automated design of an instruction set for BCPL
First published: 1986