Finding Test-and-Treatment Procedures Using Parallel Computation. - Louis D. Duval; Robert A. Wagner; Yijie Han; Donald W. Loveland (J. Parallel Distributed Comput., 1987)