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