Reading list: Z3
to borrow/easy to read