Normalizacja F-programów - Kre̦pski, Artur (Prace CO PAN, 1974)