thys/journal.pdf
2018-08-18 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2017-10-25 cu updated
less more (0) tip