Algebraic caractérisations of NTIME$(F)$ and NTIME$(F, A)$Hans-Jürgen StengerRAIRO. Inform. théor., 18 4 (1984) 365-385DOI: https://doi.org/10.1051/ita/1984180403651
