Though I'm not sure whether they relate this approach to the traditional FSM/PDA/TM models of computing. There seems to be a disconnect between theoretical computer science (which uses the classical models) and more "practical" computer science which uses Boolean and sequential logic circuits as a model of computing .
