Du Bois, A., R. Pointon, H. -W. Loidl, and P. Trinder. " Implementing declarative parallel bottom-avoiding choice." Anais do XIV Symposium on Computer Architecture and High Performance Computing, Vitória/ES, 2002. SBC, 2002, pp.82-89.