Reading list: LLATL
Additional readers for LLATL RED