P.Wadler
プログラムの正当性について
1977年09月号