Desenvolvimento de um circuito aritmético a partir da sua especificação em Handel-C - Almeida, Pedro (2003)