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