Title: Logic and algorithms
First published: 1966