Aparna, K. S., and R. N. Kulkarni. “Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z”. Engineering, Technology & Applied Science Research 16, no. 1 (February 9, 2026): 30843–30851. Accessed June 9, 2026. https://www.etasr.com/index.php/ETASR/article/view/13285.