Formal Underpinnings of Java (1998)

by OOPSLA'98 Workshop