"Compositionality, Decompositionality and Refinement in Input/Output ..."

Lars Luthmann, Stephan Mennicke, Malte Lochau (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics