Kreczmar, A.2022-03-022022-03-0219893-540-51486-40-387-51486-4https://publica.fraunhofer.de/handle/publica/126481Mathematical foundations of computer science 1989