Automatic logic synthesis techniques for digital systems - Edwards, Martyn D. (McGraw-Hill, 1992)