McGraw, James R. "The VAL language: description and analysis"

(1982) TOPLAS 4(1) January 1982  

Languages mentioned VAL {1979} Value-oriented Algorithmic Language