Aceto, L. CPO Models for GSOS Languages - Part I: Compact GSOS Languages. BRICS 1994, 1.