1. Abel, A., Pientka, B., Thibodeau, D., and Setzer, A. Copatterns: programming infinite structures by observations. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, pp. 27–38 (2013)
2. Lecture Notes in Computer Science;WR Cook,1991
3. Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bull. EATCS 62, 222–259 (1996)
4. Kestrel Institute: Specware System and documentation (2003).
http://www.specware.org/
5. Kreitz, C., Smith, D.R.: Synthesis of network protocols: final report. Technical report, Kestrel Institute (2016).
http://www.kestrel.edu/home/people/smith/pub/HACMS-Final-Report.pdf