Aswathy Mohan, Swaminathan Jayaraman, Bharat Jayaraman: A declarative approach to detecting design patterns from Java execution traces and source code. Inf. Softw. Technol. 171: 107457 (2024)