The specification of a procedure specifies its identifier and its formal parameters, known as interfaces. The specification of a function specifies its designator, its formal parameters and the subtype of the returned value. It is very important to design the subprograms interfaces carefully.