Formalization of variables in algebraic high-level nets: comparison of different approaches. - Ermel, Claudia; Padberg, Julia (Forschungsberichte des Fachbereichs Informatik, 1997)