LEARN: An Alternative Formal Semantics Definition. - George Karakitsos; Eleni Berki; Elli Georgiadou (Software Engineering Research and Practice, 2003)