B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
T. Usui, R. Behrends, J. Evans, and Y. Smaragdakis. Parallel Architectures and Compilation Techniques, 2009. PACT '09. 18th International Conference on, page 3--14. (September 2009)
C. Reynolds. SIGGRAPH '87: Proceedings of the 14th annual conference on Computer graphics and interactive techniques, page 25--34. New York, NY, USA, ACM, (1987)