Query-based object-oriented programming: a declarative web of objects. - Yoav Seginer; Theo Vosse; Gil Harari; Uri Kolodny (DLS, 2018)