Compound Types for Java (1998)

by Martin Büchi, Wolfgang Weck