The Common Business Communication Language, by John McCarthy [pdf]
www-formal.stanford.edu