Alex K. Simpson: Categorical completeness results for the simply-typed lambda-calculus. TLCA 1995: 414-427