Petermann, U.U.Petermann2022-03-072022-03-071993https://publica.fraunhofer.de/handle/publica/287432en004005006A pool calculus with equalityreport