Reading list: LLATL