Software (theme 1)
Springer
Higher-order and Symbolic Computation
Computer Security

Niqui, M, & Rutten, J.J.M.M. (2012). A proof of Moessner's theorem by coinduction. . Higher-order and Symbolic Computation, 24(3), 191–206.