Synchronization pseudocode
On Writing