Fazilatunnessa (2012) Techniques for developing verified concurrent programs based on monitors and semaphores. Masters thesis, Memorial University of Newfoundland.