Minker, Jack and Minker, Rita G. "Optimization of Boolean Expressions-Historical Developments" pp237-238

(1980) Annals of the History of Computing 02(3) July 1980  

Languages mentioned TABSOL {1960} Tabular systems language