Relace definované pomocí jazyků - Svoboda, Karel (1971)