A language for transformations leading from specification to program. Used in the POPART programming environment generator.
(30 Nov 1994)