Modelo formal para especificación e implementación de hiperhistorias - Capelli, Guillermo (1998)