Memory-Based Logic Synthesis - Sasao, Tsutomu (Springer New York : Imprint: Springer, 2011)