A practical introduction to the new logic symbols - Kampel, I. J. (Ian Joseph), 1945- (Butterworths, 1986)