Elsevier
Theoretical Computer Science
Computer Security

Mousavi, M. R., Reniers, M., & Groote, J. F. (2007). SOS formats and meta-theory:
SOS formats and meta-theory: 20 years after. Theoretical Computer Science, 373, 238–272.