Wiley
K. Lano
Computer Security

Sun, M., & Barbosa, L. S. (2009). A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. In K. Lano (Ed.), UML 2 Semantics and Applications. Wiley.