Deriving complete inference systems for a class of GSOS languages generating regular behaviours /
Aceto, Luca.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : University of Sussex, School of Cognitive and Computer Sciences,
1994.
Cover title.