Deductive Synthesis of Event-Based Software Architectures

John Penix. Deductive Synthesis of Event-Based Software Architectures. In ASE. pages 311-314, 1999. [doi]