Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri