Шкарупило, Вадим Викторович. “WS-BPEL-Modification of TLC-Verification Method”. Eastern-European Journal of Enterprise Technologies 4, no. 2(64) (July 30, 2013): 23–28. Accessed July 16, 2024. https://journals.uran.ua/eejet/article/view/16654.