A language for the functional specifICation and module design phases of the software life cycle, first presented in Berzins and Gray' s 1985 paper. Not unlike PDL. ["Analysis and design in MSG.84: formalizing functional specifICations", Valdis Berzins, MIChael Gray, Volume 11 Issue 8, IEEE Transactions on Software Engineering, Aug 1985]. (2003-05-15)