Algorithm [ABGT164]