procedure name(argument(s): type1, argument(s): type 2, ... ); < local declarations > begin < procedure body > end;