models for compact GSOS languages (1996)

by CPO
Venue:Information and Computation