Martin Illsley
-
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)