Adel Bouhoula, Ahmed Jebali, Michaël Rusinowitch. Reasoning about Object Behaviours with Rewriting..
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages PLI99) - OOSDS'99, 1999, Paris, France, 6 p.
⟨inria-00099000⟩