Specification Case Studies (Prentice-Hall International series in computer science) by Ian S. Hayes | Menrva Books | MenrvaBooks