An Esprit project on the definition of a specification language at the requirement level.
Try this search on Wikipedia, OneLook, Google