I'm only through the abstract, but "Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems" by Frank M. Shipman III and Catherine C. Marshall seems like a good fit.
PDF
Suggester: me
I'm only through the abstract, but "Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems" by Frank M. Shipman III and Catherine C. Marshall seems like a good fit.
PDF
Suggester: me