SOS formats and metatheory: 20 years after (2007)

by M Mousavi, M A Reniers, J F Groote
Venue:Theoretical Computer Science