Sipser, Michael (1982). "On relativization and the existence of complete sets". Automata, Languages and Programming. Lecture Notes in Computer Science. Vol. 140. pp. 523–531. doi:10.1007/BFb0012797. ISBN 978-3-540-11576-2. 978-3-540-11576-2 ↩