Literature/hein-proj-thesis.pdf
2018-08-15 Christian Urban added proof for bitcoded algorithm
less more (0) tip