Precision language and logic - George, F. H. (Pergamon Pr., 1977)