"The Inverse Method for the Logic of Bunched Implications", Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Steven Magill and Sungwoo Park. Appeared in LPAR 2004. (Copyright Springer-Verlag)
"Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages", Neel Krishnaswami and Jonathan Aldrich. Published in PLDI 2005.
"Separation Logic for a Higher-Order Typed Language", Neel Krishnaswami. Unpublished draft, presented at SPACE 2006 workshop.
Notes on Regular Tree Automata
Super-high level notes on ownership
Medium-high level notes on ownership
Slides for PLDI Ownership Talk