Formalization of variables in algebraic high level nets comparison of different approaches - Ermel, Claudia (1997)