No abstract available.
LFCS report ECS-LFCS-91-189
This report appeared in Information and Computation, 111(1), pp. 120--153, May 1994.