Title: The automatic oracle
First published: 1987
LC classification: PR9619.3.P57 A93 1987