By a display we mean a concise document, … correctness can be determined without examining other displays. … [A display has three parts:] --P1: a specification for the program presented … --P3: specifications of all programs [other than P1] invoked [i.e., named] in P2 that are not known [footnote:] Every project should …
Google-1
Google-2
Copyright clearance needed for quotation.