Added the citations to Engel, Brill, Biemann.