Ian Wakeman Alan Jeffrey Tim Owen Damyan Pepper SafetyNet: A language-based approach to programmable networks. 101-114 2001 36 Computer Networks 1 db/journals/cn/cn36.html#WakemanJOP01 http://dx.doi.org/10.1016/S1389-1286(01)00154-2