SEARCH Articles Figures Tables RETURN Returnability Specifying the Data Type Returned by a Function Procedure