Daniel Schwencke (2013): Abstract GSOS Rules and a Modular Treatment of Recursive Definitions. Logical Methods in Computer Science 9(3). Available at http: //dx.doi.org/10.2168/LMCS-9(3:28)2013,http://arxiv.org/abs/1307.2538 (0)

by Stefan Milius, Lawrence S Moss