"Ota Holec"@cs .