1
Specification and transformation of programs : a formal approach to software development /
Book
...Texts and monographs in computer science....
2
Fairness /
Book
...Texts and monographs in computer science...
3
Automata-theoretic aspects of formal power series /
Book
...Texts and monographs in computer science....