Leonid Bokut: Gröbner-Shirshov Bases