The oscoin white paper is a formal definition of the oscoin protocol and network.

pdflatex main.tex