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