Carroll, B. D. "A Simulator for Undergraduate Logic Courses"

(1975) Computers in Education Symposium of IEEE Transactions, 7(5) May 1975  

Languages mentioned ABAL {1974} Teaching language for Boolean algebra