Springer
F. Arbab (Farhad) , M. Sirjani (Marjan)
Lecture Notes in Computer Science
IPM International Symposium on Fundamentals of Software Engineering
Computer Security

Baeten, J., Cuijpers, P. J. L., Luttik, B., & van Tilburg, P. (2010). A process-theoretic look at automata. In F. Arbab & M. Sirjani (Eds.), Proceedings of IPM International Symposium on Fundamentals of Software Engineering 2009 (pp. 1–33). Springer.