Seth, A.2022-03-022022-03-022013978-3-939897-64-4https://publica.fraunhofer.de/handle/publica/15646533rd International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013