P. Amblard, “Finite state evaluation of logical formulas : Jevons’ approach (1870) and contemporary description”, Acta Cybern, vol. 17, no. 4, pp. 665-684, Jan. 2006.