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