1
Published 1978
Springer Berlin Heidelberg
Table of Contents: ... nets, a natural extension of Petri nets -- Head recurrent terms in combinatory logic : A generalization...