Precision language and logic - George F H (Oxford Pergamon Press, 1977)