Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen