ALI, Toqeer. Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC. Journal of Information Communication Technologies and Robotic Applications, [S. l.], p. 16–29, 2018. Disponível em: https://jictra.com.pk/index.php/jictra/article/view/78. Acesso em: 25 aug. 2026.