A procedure declaration defines an identifier and associates it with a block of code. The procedure can then be called with a procedure statement.
See section 11.4, page 487 for the list of parameters. A procedure declaration that is followed by a block implements the action of the procedure in that block. The following is a valid procedure :
Note that it is possible that a procedure calls itself.