René Bal, Herman Balsters: A Deductive and Typed Object-Oriented Language. DOOD 1993: 340-359