FGL+LV

"Functional Programming and the Logical Variable", G. Lindstrom, Conference Record of the Annual ACM Symposium on Principles of Programming Languages 1985, pp.266-280.