Шкарупило, В. В. “WS-BPEL-Modification of TLC-Verification Method”. Eastern-European Journal of Enterprise Technologies, vol. 4, no. 2(64), July 2013, pp. 23-28, doi:10.15587/1729-4061.2013.16654.