"Rule-based Programming in Java For Protocol Verification."

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics