Ana T. Freitas, Estimação de potência em circuitos digitais utilizando técnicas de enumeração implícita, PhD Thesis, Instituto Superior Técnico, Nov 2002 .
[bibTeX]