First description of Yacc completed