A language based on SetTheory and PredicateLogic. It may or may not be a ProgrammingLanguage, depending on which hairs you wish to split. It is certainly a notation.
http://vl.zuser.org/
CategoryProgrammingLanguages
3 pages link to Z:
http://vl.zuser.org/