Aceto, L. (1994) “CPO Models for GSOS Languages - Part I: Compact GSOS Languages”, BRICS Report Series, 1(40). doi: 10.7146/brics.v1i40.21603.