J. Allan Yang, Young-il Choo: Parallel-Program Transformation Using A Metalanguage. PPoPP 1991: 11-20