Automorph First-order Struct C by R.W. Kaye, H.D. Macpherson & Dugald Macpherson