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