Aparna, K. S., & Kulkarni, R. N. (2026). Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z. Engineering, Technology & Applied Science Research, 16(1), 30843–30851. https://doi.org/10.48084/etasr.13285