Logic circuit design selected methods - Vingron, Shimon P. (Springer, 2012)