Zha, Chao-Zheng (ed.) et al., Frontiers in quantum field theory. Proceedings of the international workshop held in Wulumuqi, China, August 10-19, 1996. Singapore: World Scientific Publishing. 293-306 (1998).
Broy, Manfred (ed.), Deductive program design. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 26–August 7, 1994. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 152, 235-271 (1996).
Catto, Sultan (ed.) et al., Differential geometric methods in theoretical physics. Proceedings of the 20th international conference, June 3-7, 1991, New York City, NY, USA. Vol. 1-2. Singapore: World Scientific. 3-45 (1992).