Method and system for using overlay manifests to encode differences between virtual machine images | AMiner