Peter Deussen Kurt Mehlhorn Van Wijngaarden Grammars and Space Complexity Classs EXSPACE Acta Inf. 8 1977 193-199 db/journals/acta/acta8.html#DeussenM77