Logic Of Domains door G. Zhang & Guo-Qiang Zhang