Lactuca petraea DC., Prodr. 7: 134. 1838