"Type and Effect Systems: Behaviours for Concurrency" - читать интересную книгу автора (Torben Amtoft, Flemming Nielson, Hanne Riis Nielson)