den Bussche. Abstract state machines and computationally complete query languages (0)

by A Blass, Y Gurevich, J Van
Venue:Information and Computation