7 PSPACE, NPSPACE, L, NL, coNL Source: CoCo lecture, UCPH, DIKU, 2021; Introduction to the theory of computation, Michael Sipser, 3rd edition