Research papers on banker39s algorithm