The Management of Dynamically Distributed Database Windows (Extended Abstract)

A rule-based object/task modelling approach

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data

Extending the implementation scheme of functional programming system FP for supporting the formal software development methodology

ICSE '85 Proceedings of the 8th international conference on Software engineering

The notions of consistency and predicate locks in a database system

Communications of the ACM

Database Portals: A New Application Program Interface

VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases