K. S. Aparna and R. N. Kulkarni, “Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z”, Eng. Technol. Appl. Sci. Res., vol. 16, no. 1, pp. 30843–30851, Feb. 2026.