Reading all from end to end with full comprehension will likely take more time than you have. I recommend being selective on papers and their sections. 1978: Communicating Sequential Processes: http://spinroot.com/courses/summer/Papers/hoare_1978.pdf implemented in Go: https://godoc.org/gith...