Faugchun, P. TCAS and the Stable Matching Problem: Theory and Implementation. TJEAS 2019, 23, 116-147.