Neuhold, E.J.Paul, M.2022-03-082022-03-081991https://publica.fraunhofer.de/handle/publica/319376en004005006Formal description of programming conceptsconference proceeding