A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees, Annals of Pure 41 Applied Logic 101 (2000)

by M Lerman