(1)
Mosses, P. D. A Modular SOS for Action Notation. BRICS 1999, 6.