Wetherell, C. S. "Error Data Values in the Data-Flow Language VAL."

(1982) TOPLAS 4(2) April 1982  

Languages mentioned VAL {1979} Value-oriented Algorithmic Language