Gadducci, Fabio; Kehrer, Timo (2023). Specification and modelling of computing systems through graphs and graph transformation. Journal of logical and algebraic methods in programming, 135 Elsevier 10.1016/J.JLAMP.2023.100905
