"Unison: a new distributed programming language" by Paul Chiusano