Automata, Languages and ProgrammingJos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger · First published 2003Open the Tome
Formal techniques in real-time and fault-tolerant systemsJoachim Parrow · First published 1996Open the Tome