Compendium Euclidis curiosi : dat is meetkonstigh passer-werck etc. (Amsterdam 1673) ; Compendium Euclidis curiosi : or geometrical operations (London 1677) / Georg Mohr ; translated by Joseph Moxon ; introduction by Henrik Meyer