J. Allan Yang, Young-il Choo. Metalinguistic features for formal parallel-program transformation. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 65-75, IEEE, 1992. [doi]
Abstract is missing.