B. Vajar, S. Schneider, and H. Treharne, “Mobile CSP||B”, eceasst, vol. 23, Jan. 2010.