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