Title: Case studies in specification