Work Fluctuation Theorems for Harmonic Oscillators | Synapse