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, vol. 16, no. 1, Feb. 2026, pp. 30843-51, doi:10.48084/etasr.13285.