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)