Building Maintainable Software Using Abstraction Layering. - John Spray; Roopak Sinha; Arnab Sen; Xingbin Cheng (IEEE Trans. Software Eng., 2022)