Van Wijngaarden grammars and space complexity class EXSPACE
scientific article; zbMATH DE number 3534089