T. Ali, “Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC”, jictra, pp. 16-29, Jun. 2018.