Krämer, B.B.Krämer2022-03-022022-03-021989https://publica.fraunhofer.de/handle/publica/17807010.1145/67387.67432enSpecifying concurrent objectsjournal article