A. Petrov and Y. Serdyuk, “The MC# 2.0 system for concurrent and distributed programming”, Num. Meth. Prog., vol. 9, no. 15, pp. 1–11, Sep. 2008.