P. Faugchun, “TCAS and the Stable Matching Problem: Theory and Implementation”, TJEAS, vol. 23, no. 1, pp. 116–147, Jun. 2019.