From DAML-S to Executable Code - Lopes, A. L.; Gaio, S.; Botelho, L. (Ambos (impresso e digital), 2002)