Detonation characteristics of diluted liquid explosives: Mixtures of tetranitromethane with methanol