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