Programming from specifications - Morgan, Carroll (Prentice Hall, 1990)
Includes index.