MSG.84
<language> 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].