Luca Cardelli, John C. Mitchell: Operations in Records. Category Theory and Computer Science 1989: 75-81