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