Manual Audit for BitUnits Contracts. - Siqi Lu; Haopeng Fan; Yongjuan Wang; Huizhe Mi; Ling Qin (BlockSys, 2019)