Text this: Asymptotically best method for synthesis of Boolean recursive circuits.