Cornell University
Cornell University report
Computer Security

Jeannin, J., Kozen, D., & Silva, A. (2013). Well-founded coalgebras, revisited. Cornell University report. Cornell University.