Fully Complete Minimal PER Models for the Simply Typed λ−calculus - Abramsky, S; Lenisa, M (2001)