Fiadeiro, J.L.2022-03-022022-03-0220053-540-25327-0https://publica.fraunhofer.de/handle/publica/143107Recent trends in algebraic development techniques