"Compositionality: The Significant Difference, COMPOS'97" - читать интересную книгу автора (Willem-Paul de Roever, Hans Langmaack, Amir Pnueli)