https://9lib.org/document/z3djkl77-termy-λ-rachunku-według-de-bruijna.html