Ab initio theory and modeling of water | Synapse