Computation Theory and Logic 1987

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