2022-03-022022-03-020167-6423https://publica.fraunhofer.de/handle/publica/117134Science of computer programming