Wirsing, M.Nivat, M.2022-03-022022-03-0219963-540-61463-Xhttps://publica.fraunhofer.de/handle/publica/131748Algebraic methodology and software technology. Proceedings