Ali, Toqeer. “Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC”. Journal of Information Communication Technologies and Robotic Applications, June 2018, pp. 16-29, https://jictra.nicerjss.com/index.php/jictra/article/view/78.