Chen, Long and B. D. Carroll "A language for boolean function representation and manipulation"

[ACM] (1976) [ACM] Proceedings of the 14th annual ACM Southeast Regional Conference 1976, Birmingham, Alabama  

Languages mentioned ABAL {1974} Teaching language for Boolean algebra BASIC-PLUS {1975}