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://www.jictra.com.pk/index.php/jictra/article/view/78.