Specification Case Studies - Hayes Ian (New Delhi Prentice Hall Inc, 1987)