"Validating Behavioral Component Interfaces in Rewriting Logic."

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics