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