佐藤 友哉, 北海 淳司, 佐々木 俊, 東野 輝夫: "プレスブルガー算術処理ライブラリを利用した形式的回路検証法"第14回回路とシステム(軽井沢)ワークショップ論文集. 537-542 (2001)

Tomoya Sato、Junji Hokkai、Shun Sasaki、Teruo Higashino：“使用 Pressburger 算术处理库的形式电路验证方法”第 14 届电路与系统（轻井泽）研讨会论文集 537-542（2001 年）。