Formal parameters can be defined as variables declared in a subprogram specification and referenced in the subprogram body. An example of a procedure that declares two formal parameters named empID and amount: is as follows:-
PROCEDURE updateSalary(empID INTEGER, amount REAL) IS currentSalary REAL;