State-transition machines, revisited (0)

by David A Schmidt
Venue:Higher-Order and Symbolic Computation