M. Schiffers, and H. Wedde. Mathematical Foundations of Computer Science 1978, volume 64 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1978)
{. Genrich, and K. Lautenbach. Semantics of Concurrent Compilation, volume 70 of Lecture Notes in Computer Science, page 123--146. Springer-Verlag, Berlin, (1979)