Author: Intermational Conference IFIP TCS 2000 (2000 Sendai-shi, Miyagi-ken, Japan)