A programming logic for sequential Java (1999)

by A Poetzsch-Heffter, P Müller
Venue:in: S.D. Swierstra (Ed.), ESOP’99 — European Symposium on Programming, in: LNCS