Zang, Guangzhi, et al. “High-Occupancy Vehicle Lanes and Tradable Credits Scheme for Traffic Congestion Management: A Bilevel Programming Approach”. Promet - Traffic&Transportation, vol. 30, no. 1, Feb. 2018, pp. 1-10, doi:10.7307/ptt.v30i1.2300.