edited by Robert Paige, John Reif, Ralph Wachter

Kluwer Academic c1993 The Kluwer international series in engineering and computer science SECS 231

所蔵館19館

edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter

Clarendon Press , Oxford University Press c1991

所蔵館37館