Reading list: klee