["Functional Programming and the Logical Variable", G. Lindstrom, POPL 1985, pp. 266-280].
(1994-11-30)
Try this search on Wikipedia, OneLook, Google