OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...
ACM Special Interest Group on Programming Languages
[Lea89] Gary Todd Leavens. Verifying object- oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. [ Lea90] Gary T.