Formalisierung visueller Modellierungssprachen objektorientierter MethodenRoger SüttenbachVypredanáPostrážiť