Scoped Referential Transparency in a Functional Database Language with Updates. - Paul Francis Meredith; Peter J. H. King (BNCOD, 1998)

A functional programming language which integrates queries and updates for managing an entity-function database. - Paul Francis Meredith (1999)