No. 40 (1994): RS-40 CPO Models for GSOS Languages - Part I: Compact GSOS Languages