> However, he needs >a formal language description of C, and so far neither one of us have been >able to find one. You can get a language description out of K+R, but forget about a formal definition unless you want to do it yourself.