Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Chicago-viite (17. p.)Abramsky, S., ja M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA-viite (9. p.)Abramsky, S., ja M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.