[TYPES] Formal proof of type-soundness for references in Coq

[David Hopwood]

David Naumann wrote:
> [Corejml 06]
> title={Preliminary Definition of Core {JML}},
> author={Gary T. Leavens and David A. Naumann and Stan Rosenberg},
> institition={Stevens Institute of Technology},
> number={CS Report 2006-07},
> URL={http://www.cs.stevens.edu/~naumann/SIT-TR-2006-07a.pdf}

Should be
<http://www.cs.stevens.edu/~naumann/publications/SIT-TR-2006-07.pdf>.

-- 
David Hopwood <david.hopwood at industrial-designers.co.uk>