Donahue, James; Demers, Alan "Data types are values"

(1985) ACM Transactions on Programming Languages and Systems 7(3) July 1985  

Languages mentioned MODCAP {1978} RUSSELL {1970}