Handbook of mathematical logic
cedited by Jon Barwise1977 年出版1165 页ISBN:072042285X
Shoesmith;D. J.;Smiley;T. J.;(Timothy John)1978 年出版396 页ISBN:0521217652
Applied parallel computing : new paradigms for HPC in industry and academia
PARA 20002001 年出版404 页ISBN:354041729X
edited by Robert V. Demicco and George J.Klir.2004 年出版347 页ISBN:0124151469