CPO models for a class of GSOS languages (1986)

by LFSDTTIR
Venue:in Mosses et al. [173