Různá zadání rekursivních funkcí - Man, Vlastislav (1970)