 This led in turn to one of the first large scale Formal Methods for development, VDM.Fred Brooks is credited with ensuring PL/I had the CHARACTER data type.The language was first specified in detail in the manual "PL/I Language Specifications.