"Models, Algorithms, Logics and Tools" - Luca Aceto; Giorgio Bacci; Giovanni Bacci (Springer, 2017)
Keywords: Computer Science; Theory of Computation