Contratação automatizada e execução contratual automatizada : dos software agentes aos smart contracts / Francisco Manuel de Brito Pereira Coelho