Nökel, Klaus; Rehbold, Robert; Richter, Michael M. "Remarks on SASL and the Verification of Functional Programming Languages" pp265-276

(1987) Computation Theory and Logic 1987  

Languages mentioned SASL (2nd version) {1972} Lazy evaluation SASL