I have heard of it, and was tempted to grab a copy of the spec. -- The context in which I heard it, language design, Ada was put forth as the only language designed for both maintainability and correctness, someone responded that CHILL was another, but the only other they knew of.
https://psc.informatik.uni-jena.de/publ/1999-T-REC-Z.200-199...
https://www.itu.int/rec/dologin_pub.asp?lang=e&id=T-REC-Z.20...