Title: Sintez rekursivnykh programm v sisteme SPORA