A Practical Theory of Reactive Systems : Incremental Modelling of

Texts in Theoretical Computer Science. an EATCS Ser.: Universal Artificial...

Practical Theory Of Reactive Systems : Incremental Modeling Of Dynamic Behavi...

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic: New

Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

Texts in Computer Science Ser.: Descriptive Complexity by Neil Immerman

Texts in Theoretical Computer Science. an Eatcs Ser.: Dissemination of...