CS 4953 Concurrency and Communication Notes: Semaphores
USP Chapter 14: Semaphores
See the
USP book
for this material.