P.J.A.: Reactive Turing machines (0)

by J C M Baeten, B Luttik, van Tilburg