Finance, J.-P.Jähnichen, S.Loeckx, J.Wirsing, M.2022-03-082022-03-081991https://publica.fraunhofer.de/handle/publica/319404enLogical theory for program constructionconference proceeding