Hajnicz, E. Formalny Opis składni wyrażeń Z Jako Za Pomocą Kontroli Predykatywnej. JP 2025, 105, 125-142.