These are the sources of the original Tezos paper by L.M. Goodman with very minor edits and typo fixes. They are being made available in order to facilitate translation of the papers.
A word of caution, though the project is substantially similar to the protocol described in the paper, some implementation details have changed. At this point, the protocol is defined by its reference implementation in OCaml.