L.V. Kale and B. Ramkumar and V. Saletore and A. B. Sinha, "Prioritization in 
Parallel Symbolic Computing", Lecture Notes in Computer Science, vol. 748,
ed. T. Ito and R. Halstead, Publ: Springer-Verlag, 1993, pp. 12-41.