2022-03-022022-03-02https://publica.fraunhofer.de/handle/publica/115161Mathematical structures and computer science