The connections between modules are the assumptions which … more extensive than the calling sequences and control … exhibited by considering two situations in which the … [p. 340] (1) making of changes to the system and (2) proving … For large systems we must make use of … module separately. … We may make only those changes [to a system] which do not violate the assumptions made by other modules …
Google-1
Google-2
Copyright clearance needed for quotation.