Bibliography

• Guarino, N., and G. Guizzardi. 2024. Processes as variable embodiments. Synthese vol. 203, article no. 104. https://doi.org/10.1007/s11229-024-04505-2
• Reisig, W. 2008. Abstract State Machines for the Classroom. In D. Bjorner and M.C. Henson (Eds.), Logics of Specification Languages, Springer-Verlag, 15–46.
• Tauzovich, B. 1991. Toward Temporal extensions of the Entity-Relationship Model. Proceedings of the 10th International Conference on Entity Relationship Approach, San Mateo, California: E-R Institute, pp. 136-179.