A language facility for designing database-intensive applications
Reliability mechanisms for SDD-1: a system for distributed databases