. "Typy d\u0159evin"@cs .