A language for boolean function representation and manipulation. - Iong Chen; Bill D. Carroll (ACM-SE, 1976)