DRAFT version 0.4: first strategy of recursive computation