Steffen, B.B.SteffenBarry Jay, C.C.Barry JayMendler, MichaelMichaelMendler2022-11-212022-11-2119920988-37541290-385Xhttps://fis.uni-bamberg.de/handle/uniba/56620deuCompositional Characterization of Observable Program Propertiesarticle10.1051/ita/1992260504031