末永 幸平, 大岩 寛, 住井 英二郎, 米澤 明憲: "Fail-Safe Cのためのインターフェース定義言語"第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003). 14 (2003)

Kohei Suenaga、Hiroshi Oiwa、Eijiro Sumii、Akinori Yonezawa：“故障安全 C 的接口定义语言”第五届编程和编程语言研讨会 (PPL2003) 14 (2003)。