Markus Scheidgen Joachim Fischer Human Comprehensible and Machine Processable Specifications of Operational Semantics. 157-171 2007 conf/ecmdafa/2007 ECMDA-FA http://dx.doi.org/10.1007/978-3-540-72901-3_12 db/conf/ecmdafa/ecmdafa2007.html#ScheidgenF07