On binary methods. Theory and Practice of Object Systems (1995)

by K B Bruce, L Cardelli, G Castagna, T H O Group, G Leavens, B C Pierce