Adrian Pop Peter Fritzson Debugging natural semantics specifications. 77-82 2005 conf/aadebug/2005 AADEBUG http://doi.acm.org/10.1145/1085130.1085140 db/conf/aadebug/aadebug2005.html#PopF05