Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata. Specification technique for parallel processing: process-data representation. In American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA. Volume 50 of AFIPS Conference Proceedings, pages 407-413, AFIPS Press, 1981. [doi]
Abstract is missing.