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.