Zdilar, M. (2025) “Model Checking Access Control Protocol for Spreadsheets”, Journal of Information and Organizational Sciences. doi: 10.31341/jios.49.1.3.