Hanumantharaya, Anil (2003) Incorporating component-based design in the category-theoretic framework for composition of fault-tolerant software. Masters thesis, Concordia University.