Title: Computer logic
First published: 1970