Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics - Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005)