[1]
В. В. Шкарупило, “WS-BPEL-modification of TLC-verification method”, EEJET, vol. 4, no. 2(64), pp. 23–28, Jul. 2013.