Sipser 2013, Section 2.1: Context-free grammars. Chomsky normal form p.108. (en) Michael Sipser, Introduction to the theory of computation, Boston, MA, Cengage Learning, , 3eéd., 480p. (ISBN978-1-133-18779-0, OCLC761858892, lire en ligne).
Linz 2001, Chapter 6: Simplification of context-free grammars, p.149-164(en) Peter Linz, An Introduction to Formal Languages and Automata, Jones & Bartlett Learning, , 410p. (ISBN978-0-7637-1422-2 et 0763714224, lire en ligne).
Carton 2008Olivier Carton, Langages formels, calculabilité et complexité: licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques, Paris, Vuibert, , 237p. (ISBN978-2-7117-2077-4, présentation en ligne)
Carton 2008, Section 2.1.4: Forme normale quadratique, p.80-82. Olivier Carton, Langages formels, calculabilité et complexité: licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques, Paris, Vuibert, , 237p. (ISBN978-2-7117-2077-4, présentation en ligne)
Sipser 2013, Section 2.1: Context-free grammars. Chomsky normal form p.108. (en) Michael Sipser, Introduction to the theory of computation, Boston, MA, Cengage Learning, , 3eéd., 480p. (ISBN978-1-133-18779-0, OCLC761858892, lire en ligne).