Шкарупило, Вадим Викторович. 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.