プログラムの正当性理論について阿呆でも分かるほどやさしく解説している本はありますか？
あと計算量理論についての本もお勧めあったらおせーて下さい