Reference And Computation by Amichai Kronfeld