Andrew Gacek Dale Miller Gopalan Nadathur Reasoning in Abella about Structural Operational Semantics Specifications http://arxiv.org/abs/0804.3914 2008 CoRR abs/0804.3914 db/journals/corr/corr0804.html#abs-0804-3914 informal publication