田原康之, 大須賀昭彦, 本位田真一: モバイルエージェントアプリケーションのための仕様記述言語Pigeon,電子情報通信学会論文誌. D, 情報・システム , Vol.J86-D1, No.8, pp.532-542 (2003.08)