Bernhard Möller;Helmuth Partsch;Stephen A. Schuman
-;-;-
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)