Chomsky, N. (1963). "Formal properties of grammar". In Luce, R. D.; Bush, R. R.; Galanter, E. (eds.). Handbook of Mathematical Psychology. New York: Wiley. pp. 360–363.
An example of such a grammar, designed to solve the QSAT problem, is given in Lita, C. V. (2016-09-01). "On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses". 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). pp. 371–378. doi:10.1109/SYNASC.2016.064. ISBN978-1-5090-5707-8. S2CID18067130.
An example of such a grammar, designed to solve the QSAT problem, is given in Lita, C. V. (2016-09-01). "On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses". 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). pp. 371–378. doi:10.1109/SYNASC.2016.064. ISBN978-1-5090-5707-8. S2CID18067130.