H-ALG : um algoritmo hierarquico para a geração de teste para circuitos combinacionais - Furtado Neto, Jose de Mendonça (1990)
Orientador : Mario Lucio Cortes