Parallel-Program Transformation Using A Metalanguage. - J. Allan Yang; Young-il Choo (PPoPP, 1991)

Metalinguistic features for formal parallel-program transformation. - J. Allan Yang; Young-il Choo (ICCL, 1992)

Formal Derivation of an Efficient Parallel 2-D Gauss-Siedel Method. - J. Allan Yang; Young-il Choo (IPPS, 1992)