"Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Fred Kroger, Stephan Merz)