Domains and Processes by Guo-Qiang Zhang & Klaus Keimel