Lambda Calculi - häftad, Engelska, 1994