Robert Harper, Benjamin C. Pierce: A Record Calculus Based on Symmetric Concatenation. POPL 1991: 131-142