Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions | IEEE Journals & Magazine | IEEE Xplore