白銀哲也,五十嵐滋,塩雅之,水谷哲也: "Tense Arithemeticを用いた並行プログラム系の解析と検証" 応用数学合同研究集会報告集. 71-76 (1998)

Tetsuya Shirogane、Shigeru Igarashi、Masayuki Shio、Tetsuya Mizutani：“使用时态算术的并发程序系统的分析和验证”应用数学联合研究会议报告71-76（1998）。