4 works on record
Fuzzy logic and soft computing
Topology in Process Calculus
Foundations of Quantum Programming
Model-Checking Quantum Systems