Author: International Symposium on Domain Theory (2nd 2001 Sichuan Sheng, China)