Aparna, K. S.; Kulkarni, R. N. Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z. Eng. Technol. Appl. Sci. Res. 2026, 16, 30843-30851.