Tobias Schüler, Stephan Mennicke, und Malte Lochau. Abstract domains for database manipulating processes. 2023. [PUMA: Abstract database domains manipulating processes xack]