When he issues a command, for example by … the abstract operation that he wants performed … Second, he is indicating a specific implementation for … And third, he is asserting that he has … is guaranteeing that X is a floating point …
Google-1
Google-2
Copyright clearance needed for quotation.