Harperand Pierce. A Record Calculus Based on Symmetric Concatenation. ACM Press, 1991, doi:10.1145/99583.99603.