[1]
L. Aceto, “CPO Models for GSOS Languages - Part I: Compact GSOS Languages”, BRICS, vol. 1, no. 40, Dec. 1994.