James Benjamin Saxe

Decomposable searching problems and circuit optimization by retiming: two studies in general transformations of computational structures

James Benjamin Saxe, J. Saxe, 1985 .