シドニー・L・ハントラー
プログラムの正当性証明入門(1)
1979年06月号
プログラムの正当性証明入門(2)
1979年07月号