I. P. Page;R. T. Jacob
Univ. of Texas at Dallas, Richardson;North Texas State Univ., Denton
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores
IEEE Transactions on Software Engineering
Dining philosophers revisited, again
ACM SIGCSE Bulletin