"Action Transformations in the ACTRESS Compiler Generator."

Hermano Moura, David A. Watt (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics