O pewnych własnościach maszyn relacyjnych - Wajs, Roman (Prace CO PAN, 1973)