"Formal Specification and Taming Other People's Tech" by Marianne Bellotti