K. S. Thomsen and J. L. Knudsen, “A Taxonomy for Programming Languages wit h Multi-Sequential Processes”, DPB, vol. 13, no. 175, May 1984.