Programação de autómatos - José Novais (Fundação Calouste Gulbenkian, 2012)