Building discretely ordered Bezout domains and GCD domains
scientific article; zbMATH DE number 436428