@Article{harper:refs-ipl, author = "Robert Harper", title = "A Simplified Account of Polymorphic References", journal = "Information Processing Letters", year = 1994, volume = "51", pages = "201--206" }