Alfred C. Weaver VIPTRAN - A programming language and its compiler for Boolean Systems. 1973 ACM Annual Conference https://doi.org/10.1145/800192.805753 conf/acm/1973 db/conf/acm/acm1973.html#Weaver73