Chen, Iong "A language for Boolean function representation and manipulation" PhD Auburn university 1977
(1977)
Languages mentioned
ABAL
{1974} Teaching language for Boolean algebra