Winston, Patrick Henry, author
Addison-Wesley, 1987
Buku Teks
Heuristech Press, 1981
Buku Teks
edited by Derek Partridge; Yorick Wilks
Cambridge Univ. Press, 1989
Buku Teks
edited by Thomas Bernold, Gunters Albers
North Holland, 1985
Buku Teks
edited by Avron Barr; Edward A. Feigenbaum
Addison-Wesley, 1982
Buku Teks