Haris Aziz, Bettina Klaus: Random matching under priorities: stability and no envy concepts. Soc. Choice Welf. 53(2): 213-259 (2019)