返回目錄
作者:  Arbib, Michael A.
書名:  A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury and Robert N. Moll