Modular SDN Programming with Pyretic
Abstractions for network update