Springer
Lecture Notes in Computer Science
Computer Security

Kupke, C., Kurz, A., & Pattinson, D. (2005). Ultrafilter extensions for coalgebras. In Algebra and Coalgebra in Computer Science (pp. 263–277). Springer.