On Translation of Boolean Expressions
CACM July, 1972
Bottenbirruch, H. H
Grau, A. A.
