Proposition of a Language Useable for Structured Specifications
Try this search on Wikipedia, OneLook, Google