Programming from specifications - Morgan, Carroll (Prentice Hall, 1994)