Title: The IF machine
First published: 1978