Springer
Algebraic Methodology and Software Technology
Computer Security

Barbosa, L. S., Oliveira, J., & Silva, A. (2008). Calculating Invariants as Coreflexive Bisimulations. Springer.