Programação de autómatos - José Novais (FCG, 1994)