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

by Kim Bruce, Luca Cardelli, Giuseppe Castagna, Gary T Leavens, Benjamin Pierce