Martin Erwig Escape from Zurg: an exercise in logic programming. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:3, pp:253-261 [Journal]
Gérard Boudol The recursive record semantics of objects revisited. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:3, pp:263-315 [Journal]