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