Specification case studies - Hayes, Ian (Prentice Hall, 1993)