Memory-based logic synthesis - Sasao, Tsutomu (Springer, 2011)
Includes bibliographical references (pages 179-186) and index