A programming logic for sequential Java (1999)

by Arnd Poetzsch-Heffter, Peter Müller
Venue:8th European Symposium on Programming Languages and Systems (ESOP’99), volume 1576 of Lecture Notes in Computer Science