D.4.6 Constructing algorithms using reference mechanisms