"Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings " - читать интересную книгу автора (Irene Guessarian)