RZ-type = 0 // RZ types
List-RZ // list of RZ types
n // natural
for all tasks   do
// RB =
if ((RZ-type ) and ( -type)/for all k((   and ) or (   
and ))) then
  // this test checks whether the task matches with an RZ type that already exists in list-RZ
  for all do
    // update RB number of
  end for
else
  Increment RZ-type
   = Create new RZ( ) // new type of RZ,
  Insert(list-RZ, )
end if
End  for
Algorithm 1: Search of RZ types.