Baruch Schieber Marc Snir 80-101 Inf. Comput. August 1994 113 1 db/journals/iandc/iandc113.html#SchieberS94 http://dx.doi.org/10.1006/inco.1994.1065