Adamu, Hammajam Ahmed (2021) A Semi-Formal Specification Language Approach for Security And Privacy Compliance for SaaS Business Applications – Nigerian Privacy And Data Protection Regulation as a Case Study. Doctoral thesis, University of Central Lancashire.