Verónica Becher > Subir PDF de publicación

Unified semantics for revision and update, or the theory of lazy update