A logic of object-oriented programs (1997)

by M Abadi, K R M Leino
Venue:Theory and Practice of Software Development (TAPSOFT), volume 1214 of Lecture Notes in Computer Science