Bibliography:Dedekind domain