Neil F. Stewart Science and Computer Science. 39-41 1995 27 ACM Comput. Surv. 1 db/journals/csur/csur27.html#Stewart95