Rovan, B.2022-03-022022-03-0219903-540-52953-50-387-52953-5https://publica.fraunhofer.de/handle/publica/127068Mathematical foundations of computer science 1990