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