For both terminating and cyclic programs a variety of notations have been employed for program specifications, ranging from natural language with embedded equations and tables to formal notations such as those based upon first-order predicate calculus.
"program specification." A Dictionary of Computing. . Encyclopedia.com. (August 14, 2018). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/program-specification
"program specification." A Dictionary of Computing. . Retrieved August 14, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/program-specification