Operačná sémantika v praxi - Steingartner, William (Technická univerzita v Košiciach, 2022)