Review of AdS/CFT Integrability, Chapter III.7: Hirota Dynamics for Quantum Integrability