doi dblp Principles of Blockchain Systems Antonio Fernández Anta | Chryssis Georgiou | Maurice Herlihy | Maria Potop-Butucaru