函數程設與推論

Functional Program Construction and Reasoning

目錄

前言

索引

參考書目

穆信成 Shin-Cheng Mu
中央研究院 資訊科學研究所