A. Pnueli

• Compositionality