Logical presentations of domains - Hulley, Hardy (Department of Mathematics and Applied Mathematics, 2016)
Bibliography: pages 168-174.