Ali, T. 2018. Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC. Journal of Information Communication Technologies and Robotic Applications. (Jun. 2018), 16–29.