Deryck F. Brown Hermano Moura David A. Watt ACTRESS: An Action Semantics Directed Compiler Generator (Summary). 51-55 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#BrownMW91