Blockchain and Trustworthy Systems - Zheng, Zibin (Springer Singapore, 2020)