Supplemental Material
Solution to the Readers/Writers problem using monitors