Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions. - Werner E. Kluge; Heinz Schlütter (IEEE Trans. Software Eng., 1983)