Amblard Paul: Finite state evaluation of logical formulas : Jevons' approach (1870) and contemporary description. In: Acta cybernetica, (17) 4. pp. 665-684. (2006)