The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. - Chelsea Battell; Amy P. Felty (LFMTP, 2016)

Domain Specific Language for Modular Knitting Pattern Definitions: Purl. - Chelsea Battell (CoRR, 2016)