"Logic for Concurrency and Synchronisation (Trends in Logic)" - читать интересную книгу автора (R.J. De Queiroz)