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