A5.5.
Berry G..
Concurrent Abstract Machines// Lecture Notes in Computer Science-1991.-Vol. 494.-P.49.