3 works on record
Clans of Petri Nets: Verification of protocols and performance evaluation of networks
The Logical Legacy of Nikolai Vasiliev and Modern Logic
Many-Valued Semantics and Modal Logics