J.F.: SOS formats and meta-theory: 20 years after (2007)

by M R Mousavi, M A Reniers, Groote
Venue:Theor. Comput. Sci