@inbook{Furia_2012,
    title = {Algebraic Formalisms},
    isbn = {9783642323324},
    issn = {1431-2654},
    url = {http://dx.doi.org/10.1007/978-3-642-32332-4_10},
    doi = {10.1007/978-3-642-32332-4_10},
    booktitle = {Modeling Time in Computing},
    publisher = {Springer Berlin Heidelberg},
    author = {Furia, Carlo A. and Mandrioli, Dino and Morzenti, Angelo and Rossi, Matteo},
    year = {2012},
    pages = {325–363},
    date-added = {2024-12-26 11:48:27 +0100}
}

@inbook{Furia_2012, title = {Algebraic Formalisms}, isbn = {9783642323324}, issn = {1431-2654}, url = {http://dx.doi.org/10.1007/978-3-642-32332-4_10}, doi = {10.1007/978-3-642-32332-4_10}, booktitle = {Modeling Time in Computing}, publisher = {Springer Berlin Heidelberg}, author = {Furia, Carlo A. and Mandrioli, Dino and Morzenti, Angelo and Rossi, Matteo}, year = {2012}, pages = {325–363}, date-added = {2024-12-26 11:48:27 +0100} }