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