"de Queiroz R.J.G.B. Logic for Concurrency and Synchronisation (Kluwer,2003)(ISBN 1402012705)(297s)_EE_.pdf" - читать интересную книгу автора