ECIP2

An Esprit project on the definition of a specification language at the requirement level.