The assumptions [of an abstract interface] should be embodied clearly in … not stated in the assumption list. … Assumptions written in prose are easier for non-programmers … [Reviewers of the programming constructs] evaluate how well the abstract interface supports … [p. 305] Having two partially redundant descriptions of the … in the assumption lists and others in the …
Google-1
Google-2
Copyright clearance needed for quotation.