TASK: from the specification to the implementation

Abstract
No abstract available