,
Cambridge U.P.
Mathematical Structures in Computer Science
Computer Security

Turi, D., & Rutten, J. (1998). On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Mathematical Structures in Computer Science, 8(5), 481–540.