Timothy Roscoe, Boon Thau Loo: Declarative Networking. Encyclopedia of Database Systems (2nd ed.) 2018