Cartesian groups, formal power series and Hjelmslev-planes
scientific article; zbMATH DE number 3509332