1. Threadsteading
2. Homotopical patch theory
3. Danil Annenkov , Paolo Capriotti , and Nicolai Kraus . 2017. Two-Level Type Theory and Applications. CoRR, abs/1705.03307 ( 2017 ), arXiv:1705.03307. arxiv:1705.03307 Danil Annenkov, Paolo Capriotti, and Nicolai Kraus. 2017. Two-Level Type Theory and Applications. CoRR, abs/1705.03307 (2017), arXiv:1705.03307. arxiv:1705.03307
4. TWAM: A Certifying Abstract Machine for Logic Programs
5. Barbara Brackman . 1993. Encyclopedia of pieced quilt patterns . American Quilter’s Society . Barbara Brackman. 1993. Encyclopedia of pieced quilt patterns. American Quilter’s Society.