Advanced BDD Optimization - häftad, Engelska, 2010