"Modeling Time in Computing" - читать интересную книгу автора (Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi)