edited by C.A.R. Hoare and J.C. Shepherdson
Prentice Hall International c1985 Prentice-Hall International series in computer science
所蔵館42館