Reading list: constructibility