推荐程序构造的数学 Mathematics of program construction的书单

没有任何书单推荐程序构造的数学 Mathematics of program construction。去创建一个新的书单。