A. Shalyto and D. Shopyrin, “Synchronous programming”, ICS, no. 3, pp. 35-42, Jun. 2004.