Metódy formálnej sémantiky programovacích jazykov - Steingartner, William; Novitzká, Valerie (Technická univerzita v Košiciach, 2022)