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

by Kim B Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F Smith, Valery Trifonov, Gary T Leavens, Benjamin C Pierce