Title: Minimisation of Boolean functions by digital computer
First published: 1969