Ali, T. (2018). Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC. Journal of Information Communication Technologies and Robotic Applications, 16-29. Retrieved from http://jictra.com.pk/index.php/jictra/article/view/78