Specification case studies - Flinn, Bill (Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc.., 1987)