"Challenges for Action Theories (Lecture Notes in Computer Science)" - читать интересную книгу автора (Michael Thielscher)