Formalization of variables in algebraic high level nets comparison of different approaches - Ermel, Claudia (Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin, 1997)