A Self-dependency Constraint in the Simply Typed Lambda Calculus. - Liśkiewicz, Maciej; Reischuk, Rüdiger; Schubert, Aleksy (Fundamentals of Computation Theory (9783540281931), 2005)