procedure_spec ::= PROCEDURE procedure_name [(parameter_declaration [, parameter_declaration]...)];