Ana Cavalcanti, Will Harwood, Jim Woodcock. Pointers and Records in the Unifying Theories of Programming. In Steve Dunne, Bill Stoddart, editors, Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Volume 4010 of Lecture Notes in Computer Science, pages 200-216, Springer, 2006. [doi]
Abstract is missing.