Luca Aceto Anna Ingólfsdóttir CPO Models for Compact GSOS Languages. 107-141 1996 129 Inf. Comput. 2 db/journals/iandc/iandc129.html#AcetoI96