Com o apoio de: DI da FCUL Lidel Declarativa IBM megamicro