A language for Boolean function representation and manipulation - Chen, Iong (1977)
Auburn, Ala., Univ., Diss., 1977