Stone. Cutting and polishing stones; by M. W. von Bernewitz and Frank Hess.