G. Q. Zhang, “Logics of Domains”, DPB, vol. 18, no. 298, Dec. 1989.