Harry L. Lewis Description of Restricted Automata by First-Order Formulae. 97-104 1975 9 Mathematical Systems Theory 2 db/journals/mst/mst9.html#Lewis75