Title: The composition of property-preserving event systems
Subjects: Modular programming