Process Algebra with Recursive Operations
Representation of Events in Nerve Nets and Finite Automata