ishzatさんのページ

言わずと知れた名著であり、プログラム検証に関する和書でこれに類するものは全く書かれていないため。