@Book{FMMR-TimeBook-12, author = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi}, title = {Modeling Time in Computing}, publisher = {Springer}, year = {2012}, series = {Monographs in Theoretical Computer Science. An EATCS series}, urltopdf = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-32331-7} }