Шкарупило, В. В. (2013) “WS-BPEL-modification of TLC-verification method”, Eastern-European Journal of Enterprise Technologies, 4(2(64), pp. 23–28. doi: 10.15587/1729-4061.2013.16654.