Details may be found in (Nestruev 2003).
詳細は (Nestruev 2003) において見つかるだろう。