Thus the mathematical meaning of a procedure ought … of the data type of the output. … The point is that, mathematically speaking, functions are … evolved sequences of operations on representations.
Google-1
Google-2
Copyright clearance needed for quotation.