Brown Driver Briggs

 1. exact statement, declaration